(=>
(occupiesPosition ?AGENT ?POSITION ?ORG)
(attribute ?AGENT ?POSITION)) |
Merge.kif 17628-17630 |
If X holds the position of Y in Z, then Y is an attribute of X |
(=>
(occupiesPosition ?PERSON ?POSITION ?ORGANIZATION)
(member ?PERSON ?ORGANIZATION)) |
Merge.kif 17637-17639 |
If X holds the position of Y in Z, then X is a member of Z |
(=>
(and
(attribute ?P CollegeFreshman)
(occupiesPosition ?H ?P ?ORG))
(exists (?T)
(and
(holdsDuring
(MeasureFn ?T YearDuration)
(student ?H ?ORG))
(lessThan ?T 1)))) |
Mid-level-ontology.kif 20650-20659 |
If college freshman is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is less than 1 |
(=>
(and
(attribute ?P CollegeJunior)
(occupiesPosition ?H ?P ?ORG))
(exists (?T)
(and
(holdsDuring
(MeasureFn ?T YearDuration)
(student ?H ?ORG))
(greaterThanOrEqualTo ?T 2)
(lessThan ?T 3)))) |
Mid-level-ontology.kif 20665-20675 |
If college junior is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 2 and W is less than 3 |
(=>
(and
(attribute ?P CollegeSenior)
(occupiesPosition ?H ?P ?ORG))
(exists (?T)
(and
(holdsDuring
(MeasureFn ?T YearDuration)
(student ?H ?ORG))
(greaterThanOrEqualTo ?T 3)
(lessThan ?T 4)))) |
Mid-level-ontology.kif 20681-20691 |
If college senior is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 3 and W is less than 4 |
(=>
(and
(attribute ?P CollegeSophomore)
(occupiesPosition ?H ?P ?ORG))
(exists (?T)
(and
(holdsDuring
(MeasureFn ?T YearDuration)
(student ?H ?ORG))
(greaterThanOrEqualTo ?T 1)
(lessThan ?T 2)))) |
Mid-level-ontology.kif 20697-20707 |
If college sophomore is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 1 and W is less than 2 |
(=>
(and
(attribute ?T Teacher)
(occupiesPosition ?P ?T ?O))
(teacher ?T ?O)) |
Mid-level-ontology.kif 20843-20847 |
If teacher is an attribute of X and Y holds the position of X in Z, then X is a teacher in Z |
(=>
(and
(occupiesPosition ?H ?P ?O)
(instance ?P SportsPosition))
(instance ?O SportsTeam)) |
Mid-level-ontology.kif 20870-20874 |
If X holds the position of Y in Z and Y is an instance of sports position, then Z is an instance of sports team |
(=>
(and
(instance ?O GovernmentPosition)
(occupiesPosition ?P ?O ?ORG))
(instance ?ORG GovernmentOrganization)) |
Mid-level-ontology.kif 20881-20885 |
If X is an instance of government position and Y holds the position of X in Z, then Z is an instance of government organization |
(=>
(and
(occupiesPosition ?H ?P ?O)
(instance ?P ReligiousPosition))
(instance ?O ReligiousOrganization)) |
Mid-level-ontology.kif 23121-23125 |
If X holds the position of Y in Z and Y is an instance of religious position, then Z is an instance of religious organization |
(=>
(occupiesPosition ?PERSON Cleric ?ORG)
(and
(leader ?ORG ?PERSON)
(instance ?ORG ReligiousOrganization))) |
Mid-level-ontology.kif 23133-23137 |
If X holds the position of cleric in Y, then X is a leader of Y and Y is an instance of religious organization |
(=>
(holdsDuring ?TIME
(and
(occupiesPosition ?PERSON Deacon ?ORG)
(instance ?ORG ReligiousOrganization)))
(exists (?C)
(holdsDuring ?TIME
(and
(occupiesPosition ?C Cleric ?ORG)
(subordinateInOrganization ?ORG ?PERSON ?C))))) |
Mid-level-ontology.kif 23153-23162 |
If X holds the position of deacon in Y and Y is an instance of religious organization holds during Z, then there exists W such that W holds the position of cleric in Y and Y is subordinate in organization X for W holds during Z |
(=>
(occupiesPosition ?P JudgeAtLaw ?O)
(modalAttribute
(exists (?D)
(and
(instance ?D LegalDecision)
(agent ?D ?P))) Permission)) |
Mid-level-ontology.kif 23250-23256 |
If X holds the position of judge in Y, then the statement there exists Z such that Z is an instance of legal decision and X is an agent of Z has the modal force of permission |
(=>
(occupiesPosition ?P JudgeAtLaw ?O)
(instance ?O JudicialOrganization)) |
Mid-level-ontology.kif 23258-23260 |
If X holds the position of judge in Y, then Y is an instance of judicial organization |
(=>
(and
(attribute ?PROF Professor)
(occupiesPosition ?PROF Professor ?ORG))
(and
(teacher ?PROF ?ORG)
(instance ?ORG PostSecondarySchool))) |
Mid-level-ontology.kif 23266-23272 |
If professor is an attribute of X and X holds the position of professor in Y, then X is a teacher in Y and Y is an instance of post secondary school |
(=>
(and
(subordinatePosition ?ORG ?ROLE1 ?ROLE2)
(occupiesPosition ?PERSON1 ?ROLE1 ?ORG))
(exists (?PERSON2)
(and
(instance ?PERSON2 Human)
(occupiesPosition ?PERSON2 ?ROLE2 ?ORG)
(subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)))) |
Mid-level-ontology.kif 25031-25039 |
If X is subordinate position Y for Z and W holds the position of Y in X, then there exists V such that V is an instance of human, V holds the position of Z in X, and X is subordinate in organization W for V |
(=>
(and
(instance ?H Human)
(occupiesPosition ?H ?B ?O)
(attribute ?B Banker))
(instance ?O BankFinancialOrganization)) |
FinancialOntology.kif 3710-3715 |
If X is an instance of human, X holds the position of Y in Z, and banker is an attribute of Y, then Z is an instance of bank |
(=>
(occupiesPosition ?PERSON Leader ?ORGANIZATION)
(leader ?ORGANIZATION ?PERSON)) |
Government.kif 1313-1315 |
If X holds the position of leader in Y, then X is a leader of Y |
(=>
(and
(instance ?AREA GeopoliticalArea)
(occupiesPosition ?PERSON Leader ?AREA))
(leader
(GovernmentFn ?AREA) ?PERSON)) |
Government.kif 1317-1321 |
If X is an instance of geopolitical area and Y holds the position of leader in X, then Y is a leader of the government of X |
(=>
(and
(instance ?ORG AutonomousAgent)
(leader ?ORG ?PERSON)
(instance ?ROLE Position)
(occupiesPosition ?PERSON ?ROLE ?ORG))
(leaderPosition ?ORG ?ROLE)) |
Government.kif 1418-1424 |
If X is an instance of agent, Y is a leader of X, Z is an instance of position, and Y holds the position of Z in X, then Z is a leader position of X |
(=>
(and
(instance ?COUNTRY Nation)
(leader ?COUNTRY ?PERSON)
(instance ?ROLE Position)
(occupiesPosition ?PERSON ?ROLE
(GovernmentFn ?COUNTRY)))
(leaderPosition ?COUNTRY ?ROLE)) |
Government.kif 1427-1433 |
If X is an instance of nation, Y is a leader of X, Z is an instance of position, and Y holds the position of Z in the government of X, then Z is a leader position of X |
(=>
(and
(instance ?PERSON Human)
(instance ?ROLE Position)
(instance ?ORG AutonomousAgent)
(leaderPosition ?ORG ?ROLE)
(occupiesPosition ?PERSON ?ROLE ?ORG))
(leader ?ORG ?PERSON)) |
Government.kif 1449-1456 |
If X is an instance of human, Y is an instance of position, Z is an instance of agent, Y is a leader position of Z, and X holds the position of Y in Z, then X is a leader of Z |
(=>
(and
(instance ?PERSON Human)
(instance ?ROLE Position)
(instance ?AREA GeopoliticalArea)
(leaderPosition ?AREA ?ROLE)
(occupiesPosition ?PERSON ?ROLE
(GovernmentFn ?AREA)))
(leader ?AREA ?PERSON)) |
Government.kif 1458-1465 |
If X is an instance of human, Y is an instance of position, Z is an instance of geopolitical area, Y is a leader position of Z, and X holds the position of Y in the government of Z, then X is a leader of Z |
(=>
(occupiesPosition ?PERSON ?POSITION ?ORG)
(attribute ?PERSON
(MemberRoleFn ?ORG ?POSITION))) |
Government.kif 1785-1787 |
If X holds the position of Y in Z, then the member role of Z and Y is an attribute of X |
(=>
(and
(occupiesPosition ?PERSON ?POSITION ?ORGANIZATION)
(instance ?ORGANIZATION PoliticalParty))
(member ?PERSON ?ORGANIZATION)) |
Government.kif 2265-2269 |
If X holds the position of Y in Z and Z is an instance of political party, then X is a member of Z |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
occupiesPosition