Ontology: Aktive-Portal-Ontology; Representation Language: ONTOLINGUA; File: organizations

This ontology was created by the Advanced Knowledge Technologies (AKT) project. AKT is an Interdisciplinary Research Collaboration (IRC), which is sponsored by the UK Engineering and Physical Sciences Research Council under grant number GR/N15764/01. The AKT IRC comprises the Universities of Aberdeen, Edinburgh, Sheffield, Southampton and the Open University.

;;;Automatically translated from OCML file #P"C:/users/jbd2/code/ocml/library/v5-0/domains/aktive-portal-ontology/organizations.lisp"
(in-package "ONTOLINGUA-USER")

(in-ontology 'aktive-portal-ontology)


(Define-Frame GENERIC-AGENT  

  :own-slots
  (  (Documentation "This is a generic notion, an agent can be an organization, a person
   an animal, a software agent, etc")
  (Subclass-of temporal-thing))

  :template-slots
  ((Has-Email-Address 
   (slot-value-type email-address))
   (Has-Web-Address 
   (slot-value-type url))
   ))


(Define-Frame LEGAL-AGENT  

  :own-slots
  (  (Documentation "Some agents have legal status: definitely organizations and people,
   anybody else?")
  (Subclass-of generic-agent))

  :template-slots
  ((Has-Postal-Address 
   (slot-value-type postal-address))
   (Has-Fax-Number 
   (slot-value-type string))
   (Has-Telephone-Number 
   (slot-value-type string))
   ))


(Define-Frame ORGANIZATION  

  :own-slots
  (  (Documentation "An organization is a type of legal agent")
  (Subclass-of legal-agent))

  :template-slots
  ((Has-Size 
   (slot-value-type organization-size)
   (slot-cardinality 1))
   (Headed-By 
   (slot-value-type affiliated-person))
   (Has-Sub-Unit 
   (slot-value-type organization-unit))
   (Organization-Part-Of 
   (slot-value-type organization))
   (Has-Affiliated-Person 
   (slot-value-type affiliated-person))
   ))


(Define-Frame POLITICAL-ORGANIZATION  

  :own-slots
  (  (Documentation "An organization which has a political connotation")
  (Subclass-of organization)))


(Define-Frame ORGANIZATION-SIZE  

  :own-slots
  (  (Documentation "We use EU guidelines to distinguish between different organization sizes")
  (Subclass-of intangible-thing)))


(Define-Individual VERY-LARGE-SIZE (organization-size) 
"An organization with over 10000 employees"
)


(Define-Individual LARGE-SIZE (organization-size) 
"An organization with more than 250 employees"
)


(Define-Individual MEDIUM-SIZE (organization-size) 
"An organization with no more than 250 employees.  It also has to be independent,
   i.e., less than 25% owned by one enterprise (or jointly by several enterprises) 
   falling outside the definition of medium-sized enterprise.
   Finally, either the turnover total must be less than 40M Euros or the balance sheet 
   total must be less than 27M Euros."
)


(Define-Individual SMALL-SIZE (organization-size) 
"An organization with no more than 50 employees.  It also has to be independent,
   i.e., less than 25% owned by one enterprise (or jointly by several enterprises) 
   falling outside the definition of small-sized enterprise.
   Finally, either the turnover total must be less than 7M Euros or the balance sheet 
   total must be less than 5M Euros."
)


(Define-Individual MICRO-SIZE (organization-size) 
"An organization with no more than 10 employees.  It also has to be independent,
   i.e., less than 25% owned by one enterprise (or jointly by several enterprises) 
   falling outside the definition of micro-sized enterprise."
)


(Define-Frame SMALL-OR-MEDIUM-SIZED-ORGANIZATION  

  :own-slots
  (  (Documentation "SME are important, so we define a class to represent them explicitly.
   In some case we might not know or we do not want to bother specifying 
   excatly whether something is a small-organization or a medium-organization.
   Hence, we can just say 'x is a SME' without going into further detail.")
  (Subclass-of organization))

  :axioms
((<=> (and (organization ?x) (has-size ?x ?size) (member ?size (quote (micro-size small-size medium-size)))) (small-or-medium-sized-organization ?x))
))


(Define-Frame ORGANIZATION-UNIT  

  :own-slots
  (  (Documentation "An organization may have a number of units. Units may themselves have sub-units")
  (Subclass-of generic-agent))

  :template-slots
  ((Headed-By 
   (slot-value-type affiliated-person))
   (Has-Sub-Unit 
   (slot-value-type organization-unit))
   (Sub-Unit-Of-Organization-Unit 
   (slot-value-type organization-unit))
   (Unit-Of-Organization 
   (slot-value-type organization))
   (Has-Affiliated-Person 
   (slot-value-type affiliated-person))
   (Has-Size 
   (slot-value-type organization-size))
   (Has-Postal-Address 
   (slot-value-type postal-address))
   (Has-Fax-Number 
   (slot-value-type string))
   (Has-Telephone-Number 
   (slot-value-type string))
   ))


(Define-Axiom UNIT-OF-ORGANIZATION-IS-TRANSITIVE  
  := 
  (=>   (And
   (sub-unit-of-organization-unit ?u ?u-super)
   (unit-of-organization ?u-super ?o))
    (unit-of-organization ?u ?o)
))


(Define-Frame NON-PROFIT-ORGANIZATION  

  :own-slots
  (
  (Subclass-of organization)))


(Define-Frame PROFIT-ORGANIZATION  

  :own-slots
  (
  (Subclass-of organization))

  :template-slots
  ((Subsidiary-Of 
   (slot-value-type profit-organization))
   ))


(Define-Frame PARTNERSHIP  

  :own-slots
  (  (Documentation "A partnership is not necessarily a company, e.g. a consultancy firm is 
   not a company")
  (Subclass-of profit-organization)))


(Define-Frame COMPANY  

  :own-slots
  (
  (Subclass-of profit-organization)))


(Define-Frame PRIVATE-COMPANY  

  :own-slots
  (
  (Subclass-of company)))


(Define-Frame PUBLIC-COMPANY  

  :own-slots
  (
  (Subclass-of company)))


(Define-Frame INDUSTRIAL-ORGANIZATION  

  :own-slots
  (
  (Subclass-of profit-organization)))


(Define-Frame GOVERNMENT-ORGANIZATION  

  :own-slots
  (
  (Subclass-of non-profit-organization)))


(Define-Frame CIVIL-SERVICE  

  :own-slots
  (
  (Subclass-of government-organization)))


(Define-Frame GOVERNMENT  

  :own-slots
  (
  (Subclass-of government-organization))

  :template-slots
  ((Government-Of-Country 
   (slot-value-type country))
   ))


(Define-Frame CHARITABLE-ORGANIZATION  

  :own-slots
  (
  (Subclass-of non-profit-organization)))


(Define-Frame LEARNING-CENTRED-ORGANIZATION  

  :own-slots
  (
  (Subclass-of organization)))


(Define-Frame R-AND-D-INSTITUTE  

  :own-slots
  (
  (Subclass-of learning-centred-organization)))


(Define-Frame R-AND-D-INSTITUTE-WITHIN-LARGER-ORGANIZATION  

  :own-slots
  (
  (Subclass-of r-and-d-institute)
  (Subclass-of organization-unit)))


(Define-Frame EDUCATIONAL-ORGANIZATION  

  :own-slots
  (
  (Subclass-of learning-centred-organization)))


(Define-Frame R-AND-D-INSTITUTE-WITHIN-EDUCATIONAL-ORGANIZATION  

  :own-slots
  (
  (Subclass-of r-and-d-institute-within-larger-organization)))


(Define-Frame HIGHER-EDUCATIONAL-ORGANIZATION  

  :own-slots
  (
  (Subclass-of educational-organization))

  :template-slots
  ((Has-Support-Unit 
   (slot-value-type academic-support-unit))
   (Has-Academic-Unit 
   (slot-value-type academic-unit))
   ))


(Define-Axiom HAS-ACADEMIC-UNIT-IMPLIES-HAS-ORGANIZATION-UNIT  
  := 
  (=>     (has-academic-unit ?x ?y)
    (has-sub-unit ?x ?y)
))


(Define-Axiom HAS-SUPPORT-UNIT-IMPLIES-HAS-ORGANIZATION-UNIT  
  := 
  (=>     (has-support-unit ?x ?y)
    (has-sub-unit ?x ?y)
))


(Define-Frame UNIVERSITY  

  :own-slots
  (
  (Subclass-of higher-educational-organization))

  :template-slots
  ((Has-Vice-Chancellor 
   (slot-value-type educational-employee))
   (Has-Faculty 
   (slot-value-type university-faculty))
   )

  :axioms
((forall (?inst15457 ?value15458) (=> (university ?inst15457) (<=> (has-vice-chancellor ?inst15457 ?value15458) (headed-by ?inst15457 ?value15458))))
))


(Define-Frame DISTANCE-TEACHING-UNIVERSITY  

  :own-slots
  (
  (Subclass-of university)))


(Define-Frame SCHOOL  

  :own-slots
  (
  (Subclass-of educational-organization)))


(Define-Frame EDUCATIONAL-ORGANIZATION-UNIT  

  :own-slots
  (
  (Subclass-of organization-unit))

  :template-slots
  ((Unit-Of-Organization 
   (slot-value-type educational-organization))
   )

  :axioms
((<=> (and (unit-of-organization ?x ?y) (educational-organization ?y)) (educational-organization-unit ?x))
))


(Define-Frame ACADEMIC-UNIT  

  :own-slots
  (
  (Subclass-of educational-organization-unit))

  :template-slots
  ((Unit-Of-Organization 
   (slot-value-type university))
   ))


(Define-Frame UNIVERSITY-FACULTY  

  :own-slots
  (
  (Subclass-of academic-unit)))


(Define-Frame ACADEMIC-SUPPORT-UNIT  

  :own-slots
  (
  (Subclass-of educational-organization-unit)))


(Define-Frame PUBLISHING-HOUSE  

  :own-slots
  (
  (Subclass-of organization)))


(Define-Frame LOCATION  

  :own-slots
  (  (Documentation "A generic class for locations.  It includes both real and 
   fantastic places")
  (Subclass-of tangible-thing)))


(Define-Frame GEOGRAPHICAL-REGION  

  :own-slots
  (  (Documentation "'Real' geographical regions")
  (Subclass-of tangible-thing)
  (Subclass-of location)))


(Define-Frame COORDINATE-LOCATION  

  :own-slots
  (
  (Subclass-of geographical-region))

  :template-slots
  ((Has-Geographical-Datum 
   (slot-value-type geographical-datum))
   (Has-Longitude 
   (slot-value-type number))
   (Has-Latitude 
   (slot-value-type number))
   ))


(Define-Frame GEOGRAPHICAL-DATUM  

  :own-slots
  (  (Documentation "A datum used to define a reference system, eg. 
    World Geodetic System 1984, Ordnance Survey of Great Britain Datum 1936, etc.")
  (Subclass-of intangible-thing)))


(Define-Frame GEOPOLITICAL-ENTITY  

  :own-slots
  (  (Documentation "A geopolitical entity is a geographical area which is associated with some sort of 
   political structure. For instance, Russia, Italy, The-city-of-Messina, etc..
   A geopolitical entity can be also seen as an agent - e.g., France declared 
   war to Spain")
  (Subclass-of geographical-region)
  (Subclass-of generic-agent)))


(Define-Frame COUNTRY  

  :own-slots
  (
  (Subclass-of geopolitical-entity))

  :template-slots
  ((Has-Government 
   (slot-value-type government))
   (Has-Currency 
   (slot-value-type currency))
   (Has-Capital 
   (slot-value-type capital-city))
   ))


(Define-Frame CURRENCY  

  :own-slots
  (
  (Subclass-of information-bearing-object))

  :template-slots
  ((Has-Iso4217-Code 
   (documentation "for instance GBP")
   (slot-value-type string))
   (Has-Currency-Symbol 
   (documentation "for instance £")
   (slot-value-type string))
   (Issued-By 
   (slot-value-type government))
   )

  :axioms
((forall (?inst15471 ?value15472) (=> (currency ?inst15471) (<=> (has-currency-symbol ?inst15471 ?value15472) (has-pretty-name ?inst15471 ?value15472))))
))


(Define-Frame AMOUNT-OF-MONEY  

  :own-slots
  (
  (Subclass-of physical-quantity))

  :template-slots
  ((Has-Amount 
   (slot-value-type number))
   (Has-Unit-Of-Measure 
   (slot-value-type currency))
   )

  :axioms
((forall (?inst15473 ?value15474) (=> (amount-of-money ?inst15473) (<=> (has-amount ?inst15473 ?value15474) (has-magnitude ?inst15473 ?value15474))))
))


(Define-Frame MUNICIPAL-UNIT  

  :own-slots
  (
  (Subclass-of geopolitical-entity)))


(Define-Frame CITY  

  :own-slots
  (
  (Subclass-of municipal-unit)))


(Define-Frame TOWN  

  :own-slots
  (
  (Subclass-of municipal-unit)))


(Define-Frame CAPITAL-CITY  

  :own-slots
  (
  (Subclass-of city))

  :template-slots
  ((Is-Capital-Of 
   (slot-value-type country))
   ))


(Define-Axiom CONSISTENCY-BETWEEN-COUNTRIES-AND-CAPITAL-CITIES  
:= (<=> (is-capital-of ?city ?country) (has-capital ?country ?city)))


(Define-Frame VILLAGE  

  :own-slots
  (
  (Subclass-of municipal-unit)))


(Define-Frame LOCAL-DISTRICT  

  :own-slots
  (
  (Subclass-of geopolitical-entity)))


(Define-Frame ADDRESS  

  :own-slots
  (  (Documentation "A generic class for addresses, whether email or postal.
   We see an address as abstract information and therefore it is an intangible thing")
  (Subclass-of abstract-information)))


(Define-Frame POSTAL-ADDRESS  

  :own-slots
  (  (Documentation "Modified to allow addresses to be given as strings, with no structure")
  (Subclass-of address))

  :template-slots
  ((Address-Pretty-Label 
   (slot-value-type string))
   (Address-Country 
   (slot-value-type country))
   (Address-Region 
   (slot-value-type geographical-region))
   (Address-Postcode 
   (slot-value-type string))
   (Address-City-Or-Village 
   (slot-value-type municipal-unit))
   (Address-Building 
   (slot-value-type string))
   (Address-Number 
   (slot-value-type integer))
   (Address-Area 
   (slot-value-type local-district))
   (Address-Street 
   (slot-value-type string))
   )

  :axioms
((forall (?inst15482 ?value15483) (=> (postal-address ?inst15482) (<=> (address-pretty-label ?inst15482 ?value15483) (has-pretty-name ?inst15482 ?value15483))))
))


(Define-Frame EMAIL-ADDRESS  

  :own-slots
  (
  (Subclass-of string)
  (Subclass-of address)))


(Define-Frame PERSON  

  :own-slots
  (
  (Subclass-of legal-agent)
  (Subclass-of tangible-thing))

  :template-slots
  ((Has-Appellation 
   (slot-value-type appellation))
   (Has-Academic-Degree 
   (slot-value-type academic-degree))
   (Has-Gender 
   (slot-value-type gender))
   (Has-Given-Name 
   (slot-value-type string))
   (Has-Family-Name 
   (slot-value-type string))
   (Has-Full-Name 
   (slot-value-type string))
   )

  :axioms
((forall (?inst15484 ?value15485) (=> (person ?inst15484) (<=> (has-full-name ?inst15484 ?value15485) (has-pretty-name ?inst15484 ?value15485))))
))


(Define-Frame APPELLATION  

  :own-slots
  (
  (Subclass-of intangible-thing)))


(Define-Individual DR (appellation) 
)


(Define-Individual MR (appellation) 
)


(Define-Individual MS (appellation) 
)


(Define-Individual MISS (appellation) 
)


(Define-Individual PROF (appellation) 
)


(Define-Individual MRS (appellation) 
)


(Define-Individual SIR (appellation) 
)


(Define-Individual LADY (appellation) 
)


(Define-Frame GENDER  

  :own-slots
  (  (Documentation "HPKB says that genders are intangible..Uhm...")
  (Subclass-of intangible-thing))

  :axioms
((<=> (element-of ?x (set-of male-gender female-gender)) (gender ?x))
))


(Define-Individual MALE-GENDER (gender) 
)


(Define-Individual FEMALE-GENDER (gender) 
)


(Define-Frame AFFILIATED-PERSON  

  :own-slots
  (  (Documentation "A person which has an affiliation with some organization.
   For instance employees are affiliated to the organization they work for,
   students to the institution where they are studying, etc..
   A person can have multiple affiliations, which means that there is no 
   constraint relating the values of slot has-affiliation-to-unit to the values 
   of slot has-affiliation")
  (Subclass-of person))

  :template-slots
  ((Has-Affiliation 
   (minimum-slot-cardinality 1)
   (slot-value-type organization))
   (Has-Affiliation-To-Unit 
   (slot-value-type organization-unit))
   ))


(Define-Frame WORKING-PERSON  

  :own-slots
  (
  (Subclass-of person))

  :template-slots
  ((Has-Work-Status 
   (slot-value-type work-status))
   ))


(Define-Frame WORK-STATUS  

  :own-slots
  (
  (Subclass-of intangible-thing)))


(Define-Individual FULL-TIME (work-status) 
)


(Define-Individual PART-TIME (work-status) 
)


(Define-Frame SELF-EMPLOYED-PERSON  

  :own-slots
  (
  (Subclass-of working-person)))


(Define-Frame EMPLOYEE  

  :own-slots
  (
  (Subclass-of affiliated-person)
  (Subclass-of working-person))

  :template-slots
  ((Has-Line-Manager 
   (slot-value-type employee))
   (Has-Contract-Type 
   (slot-value-type employment-contract-type))
   (Has-Job-Title 
   (slot-value-type string))
   (Works-In-Unit 
   (slot-value-type organization-unit))
   (Works-For 
   (slot-value-type organization))
   )

  :axioms
((forall (?x ?value15491) (=> (employee ?x) (<=> (works-for ?x ?value15491) (has-affiliation ?x ?value15491))))
(forall (?x ?value15491) (=> (employee ?x) (<=> (works-in-unit ?x ?value15491) (has-affiliation-to-unit ?x ?value15491))))
))


(Define-Frame ADMINISTRATIVE-STAFF  

  :own-slots
  (
  (Subclass-of employee)))


(Define-Frame EMPLOYMENT-CONTRACT-TYPE  

  :own-slots
  (
  (Subclass-of intangible-thing)))


(Define-Individual PERMANENT-CONTRACT (employment-contract-type) 
)


(Define-Individual TEMPORARY-CONTRACT (employment-contract-type) 
)


(Define-Frame SYSTEM-ADMINISTRATOR  

  :own-slots
  (
  (Subclass-of working-person)))


(Define-Frame MULTIMEDIA-DESIGNER  

  :own-slots
  (
  (Subclass-of working-person)))


(Define-Frame GRAPHIC-DESIGNER  

  :own-slots
  (
  (Subclass-of working-person)))


(Define-Frame SOFTWARE-DEVELOPER  

  :own-slots
  (
  (Subclass-of working-person)))


(Define-Frame FREELANCE-SOFTWARE-DEVELOPER  

  :own-slots
  (
  (Subclass-of software-developer)
  (Subclass-of self-employed-person)))


(Define-Frame SECRETARY  

  :own-slots
  (
  (Subclass-of working-person))

  :template-slots
  ((Is-Secretary-Of 
   (slot-value-type assisted-person))
   ))


(Define-Frame ASSISTED-PERSON  

  :own-slots
  (
  (Subclass-of person))

  :axioms
((<=> (and (person ?x) (is-secretary-of ?sec ?x) (secretary ?sec)) (assisted-person ?inst15500))
))


(Define-Relation HAS-SECRETARY (?x ?sec) 

  :iff-def (and (person ?x) (is-secretary-of ?sec ?x) (secretary ?sec)))


(Define-Frame EDUCATIONAL-EMPLOYEE  

  :own-slots
  (
  (Subclass-of employee))

  :template-slots
  ((Works-For 
   (slot-value-type educational-organization)
   (minimum-slot-cardinality 1))
   )

  :axioms
((<=> (and (works-for ?x ?y) (educational-organization ?y)) (educational-employee ?x))
))


(Define-Frame HIGHER-EDUCATIONAL-ORGANIZATION-EMPLOYEE  

  :own-slots
  (
  (Subclass-of educational-employee))

  :template-slots
  ((Works-For 
   (slot-value-type higher-educational-organization)
   (minimum-slot-cardinality 1))
   )

  :axioms
((<=> (and (works-for ?x ?y) (higher-educational-organization ?y)) (higher-educational-organization-employee ?x))
))


(Define-Frame ACADEMIC-SUPPORT-STAFF-MEMBER  

  :own-slots
  (
  (Subclass-of higher-educational-organization-employee)))


(Define-Frame ACADEMIC-ADMIN-STAFF-MEMBER  

  :own-slots
  (
  (Subclass-of academic-support-staff-member)
  (Subclass-of administrative-staff))

  :template-slots
  ((Works-For 
   (slot-value-type higher-educational-organization))
   ))


(Define-Frame PROJECT-OFFICER-IN-ACADEMIA  

  :own-slots
  (
  (Subclass-of academic-support-staff-member)))


(Define-Relation HAS-RESEARCH-INTEREST (?x ?r) 
"People and in general even organizations and organization units
   may have research interests.  This relation shoudl be used to 
   specify them"
  :constraints (and (or (organization-unit ?x) (organization ?x) (person ?x)) (research-area ?r)))


(Define-Frame STUDENT  

  :own-slots
  (
  (Subclass-of affiliated-person))

  :template-slots
  ((Studies-In-Unit 
   (minimum-slot-cardinality 1)
   (slot-value-type educational-organization-unit))
   (Studies-At 
   (minimum-slot-cardinality 1)
   (slot-value-type educational-organization))
   )

  :axioms
((forall (?inst15504 ?value15505) (=> (student ?inst15504) (<=> (studies-at ?inst15504 ?value15505) (has-affiliation ?inst15504 ?value15505))))
(forall (?inst15504 ?value15505) (=> (student ?inst15504) (<=> (studies-in-unit ?inst15504 ?value15505) (has-affiliation-to-unit ?inst15504 ?value15505))))
))


(Define-Frame PHD-STUDENT  

  :own-slots
  (
  (Subclass-of student))

  :template-slots
  ((Has-Supervisor 
   (slot-value-type person))
   (Studies-At 
   (minimum-slot-cardinality 1)
   (slot-value-type higher-educational-organization))
   (Has-Research-Interest 
   (slot-value-type research-area))
   ))


(Define-Frame ACADEMIC-STAFF-MEMBER  

  :own-slots
  (
  (Subclass-of higher-educational-organization-employee))

  :template-slots
  ((Has-Research-Interest 
   (slot-value-type research-area))
   ))


(Define-Frame RESEARCHER  

  :own-slots
  (
  (Subclass-of working-person))

  :template-slots
  ((Has-Research-Interest 
   (slot-value-type research-area))
   ))


(Define-Frame VISITING-RESEARCHER  

  :own-slots
  (
  (Subclass-of researcher)
  (Subclass-of affiliated-person))

  :template-slots
  ((Person-Being-Visited 
   (slot-value-type employee))
   (Organization-Unit-Being-Visited 
   (slot-value-type organization-unit))
   (Organization-Being-Visited 
   (slot-value-type organization))
   ))


(Define-Axiom VISITING-RESEARCHER-GETS-AFFILIATION-TO-VISITED-ORGANIZATION  
  := 
  (=>   (And
   (visiting-researcher ?x)
   (organization-being-visited ?x ?y))
    (has-affiliation ?x ?y)
))


(Define-Axiom VISITING-RESEARCHER-GETS-AFFILIATION-TO-VISITED-ORGANIZATION-UNIT  
  := 
  (=>   (And
   (visiting-researcher ?x)
   (organization-unit-being-visited ?x ?y))
    (has-affiliation-to-unit ?x ?y)
))


(Define-Frame RESEARCH-STAFF-MEMBER  

  :own-slots
  (
  (Subclass-of higher-educational-organization-employee)
  (Subclass-of researcher)))


(Define-Frame RESEARCH-FELLOW-IN-ACADEMIA  

  :own-slots
  (
  (Subclass-of research-staff-member)))


(Define-Frame SENIOR-RESEARCH-FELLOW-IN-ACADEMIA  

  :own-slots
  (
  (Subclass-of research-staff-member)))


(Define-Frame RESEARCH-ASSISTANT-IN-ACADEMIA  

  :own-slots
  (
  (Subclass-of research-staff-member)))


(Define-Frame LECTURER-IN-ACADEMIA  

  :own-slots
  (
  (Subclass-of academic-staff-member)))


(Define-Frame SENIOR-LECTURER-IN-ACADEMIA  

  :own-slots
  (
  (Subclass-of academic-staff-member)))


(Define-Frame PROFESSOR-IN-ACADEMIA  

  :own-slots
  (
  (Subclass-of academic-staff-member)))


(Define-Frame READER-IN-ACADEMIA  

  :own-slots
  (
  (Subclass-of academic-staff-member)))


(Define-Individual THE-OPEN-UNIVERSITY (distance-teaching-university) 
  :axiom-def
  (And   (Has-Web-Address the-open-university "http://www.open.ac.uk")
  (Has-Sub-Unit the-open-university knowledge-media-institute-at-the-open-university)
  (Has-Size the-open-university large-size)
  ))


(Define-Individual UNIVERSITY-OF-SOUTHAMPTON (university) 
  :axiom-def
  (And   (Has-Web-Address university-of-southampton "http://www.ecs.soton.ac.uk")
  (Has-Academic-Unit university-of-southampton dept-of-electronics-and-computer-science-at-southampton)
  (Has-Size university-of-southampton large-size)
  ))


(Define-Individual UNIVERSITY-OF-EDINBURGH (university) 
  :axiom-def
  (And   (Has-Size university-of-edinburgh large-size)
  (Has-Web-Address university-of-edinburgh "http://www.ed.ac.uk/")
  (Has-Academic-Unit university-of-edinburgh division-of-informatics-at-edinburgh)
  ))


(Define-Individual UNIVERSITY-OF-SHEFFIELD (university) 
  :axiom-def
  (And   (Has-Web-Address university-of-sheffield "http://www.shef.ac.uk")
  (Has-Academic-Unit university-of-sheffield dept-of-computer-science-at-sheffield)
  (Has-Size university-of-sheffield large-size)
  ))


(Define-Individual UNIVERSITY-OF-ABERDEEN (university) 
  :axiom-def
  (And   (Has-Size university-of-aberdeen large-size)
  (Has-Web-Address university-of-aberdeen "http://www.abdn.ac.uk/")
  (Has-Academic-Unit university-of-aberdeen dept-of-computing-science-at-aberdeen)
  ))


(Define-Individual EPSRC (non-profit-organization) 
  :axiom-def
  (Has-Size epsrc small-size)
)


(Define-Individual DEPT-OF-COMPUTING-SCIENCE-AT-ABERDEEN (academic-unit) 
  :axiom-def
  (And   (Has-Web-Address dept-of-computing-science-at-aberdeen "http://www.csd.abdn.ac.uk/")
  (Unit-Of-Organization dept-of-computing-science-at-aberdeen university-of-aberdeen)
  ))


(Define-Individual DEPT-OF-COMPUTER-SCIENCE-AT-SHEFFIELD (academic-unit) 
  :axiom-def
  (And   (Has-Web-Address dept-of-computer-science-at-sheffield "http://www.dcs.shef.ac.uk")
  (Unit-Of-Organization dept-of-computer-science-at-sheffield university-of-sheffield)
  ))


(Define-Individual KNOWLEDGE-MEDIA-INSTITUTE-AT-THE-OPEN-UNIVERSITY (r-and-d-institute-within-educational-organization) 
  :axiom-def
  (And   (Has-Pretty-Name knowledge-media-institute-at-the-open-university "knowledge media institute")
  (Has-Web-Address knowledge-media-institute-at-the-open-university "http://kmi.open.ac.uk")
  (Has-Telephone-Number knowledge-media-institute-at-the-open-university "+44 1908 653800")
  (Has-Size knowledge-media-institute-at-the-open-university medium-size)
  (Unit-Of-Organization knowledge-media-institute-at-the-open-university the-open-university)
  ))


(Define-Individual FACULTY-OF-SCIENCE-AND-ENGINEERING-AT-EDINBURGH (university-faculty) 
  :axiom-def
  (Unit-Of-Organization faculty-of-science-and-engineering-at-edinburgh university-of-edinburgh)
)


(Define-Individual DIVISION-OF-INFORMATICS-AT-EDINBURGH (academic-unit) 
  :axiom-def
  (And   (Has-Web-Address division-of-informatics-at-edinburgh "http://www.informatics.ed.ac.uk/")
  (Sub-Unit-Of-Organization-Unit division-of-informatics-at-edinburgh faculty-of-science-and-engineering-at-edinburgh)
  (Unit-Of-Organization division-of-informatics-at-edinburgh university-of-edinburgh)
  ))


(Define-Individual DEPT-OF-ELECTRONICS-AND-COMPUTER-SCIENCE-AT-SOUTHAMPTON (academic-unit) 
  :axiom-def
  (Unit-Of-Organization dept-of-electronics-and-computer-science-at-southampton university-of-southampton)
)


(Define-Individual NATO (political-organization) 
"nato is both a political organization and a geopolitical entity"
)


(Define-Individual NATO (geopolitical-entity) 
"nato is both a political organization and a geopolitical entity"
)

Contact Point