leader |
appearance as argument number 1 |
(documentation leader EnglishLanguage "(leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON.") | Merge.kif 1615-1616 | |
(documentation leader JapaneseLanguage "(leader ?INSTITUTION ?PERSON) とは、 ?INSTITUTION のリーダーが ?PERSON という意味である。") | japanese_format.kif 294-295 | |
(domain leader 1 AutonomousAgent) | Merge.kif 1612-1612 | |
(domain leader 2 Human) | Merge.kif 1613-1613 | |
(instance leader AsymmetricRelation) | Merge.kif 1610-1610 | |
(instance leader BinaryPredicate) | Merge.kif 1609-1609 | |
(instance leader SingleValuedRelation) | Merge.kif 1611-1611 |
appearance as argument number 2 |
(format ChineseLanguage leader "%2 %n 是 %1 的 leader ") | domainEnglishFormat.kif 1451-1451 | |
(format ChineseTraditionalLanguage leader "%2 %n 是 %1 的 leader ") | domainEnglishFormat.kif 1450-1450 | |
(format EnglishLanguage leader "%2 is %n a leader of %1") | domainEnglishFormat.kif 1449-1449 | |
(termFormat EnglishLanguage leader "leader") | domainEnglishFormat.kif 65865-65865 |
antecedent |
(=> (and (directed ?DIRECTOR ?MOVIE) (instance ?FILMMAKING FilmMaking) (instance ?FILMCREW Organization) (leader ?FILMCREW ?DIRECTOR) (agent ?FILMMAKING ?FILMCREW) (result ?FILMMAKING ?MOVIE)) (holdsDuring (WhenFn ?FILMMAKING) (attribute ?DIRECTOR FilmDirector))) |
Mid-level-ontology.kif 20761-20770 | |
(=> (and (instance ?AREA GeopoliticalArea) (leader (GovernmentFn ?AREA) ?PERSON)) (leader ?AREA ?PERSON)) |
Merge.kif 14106-14110 | |
(=> (and (instance ?AREA GeopoliticalArea) (leader ?AREA ?PERSON)) (leader (GovernmentFn ?AREA) ?PERSON)) |
Merge.kif 14112-14116 | |
(=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE)) |
Government.kif 1420-1426 | |
(=> (and (instance ?ORG AutonomousAgent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE)) |
Government.kif 1411-1417 | |
(=> (holdsDuring ?TIME (leader ?X ?Y)) (holdsDuring ?TIME (attribute ?Y Living))) |
Merge.kif 1618-1620 |
consequent |
(=> (and (instance ?AREA GeopoliticalArea) (leader (GovernmentFn ?AREA) ?PERSON)) (leader ?AREA ?PERSON)) |
Merge.kif 14106-14110 | |
(=> (and (instance ?AREA GeopoliticalArea) (leader ?AREA ?PERSON)) (leader (GovernmentFn ?AREA) ?PERSON)) |
Merge.kif 14112-14116 | |
(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader ?AREA)) (leader (GovernmentFn ?AREA) ?PERSON)) |
Government.kif 1310-1314 | |
(=> (and (instance ?CAB GovernmentCabinet) (subOrganization ?CAB (GovernmentFn ?AREA)) (instance ?AREA GeopoliticalArea)) (hasPurpose ?CAB (exists (?ADVICE ?LEADER) (and (instance ?ADVICE Stating) (agent ?ADVICE ?CAB) (patient ?ADVICE ?LEADER) (leader ?LEADER (GovernmentFn ?AREA)))))) |
Government.kif 1477-1488 | |
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?AREA GeopoliticalArea) (leaderPosition ?AREA ?ROLE) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?AREA))) (leader ?AREA ?PERSON)) |
Government.kif 1451-1458 | |
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG AutonomousAgent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON)) |
Government.kif 1442-1449 | |
(=> (attribute ?H PresidentOfTheUnitedStates) (leader ?H UnitedStates)) |
Government.kif 1467-1469 | |
(=> (directed ?DIRECTOR ?MOVIE) (exists (?FILMMAKING ?FILMCREW) (and (instance ?FILMMAKING FilmMaking) (instance ?FILMCREW Organization) (leader ?FILMCREW ?DIRECTOR) (agent ?FILMMAKING ?FILMCREW) (result ?FILMMAKING ?MOVIE)))) |
Mid-level-ontology.kif 20751-20759 | |
(=> (holdsDuring ?T1 (occupiesPosition ?PERSON SecretaryOfTheInterior UnitedStatesDepartmentOfInterior)) (holdsDuring ?T1 (leader UnitedStatesDepartmentOfInterior ?PERSON))) |
Government.kif 4823-4827 | |
(=> (occupiesPosition ?H Pope RomanCatholicChurch) (leader RomanCatholicChurch ?H)) |
People.kif 1290-1292 | |
(=> (occupiesPosition ?PERSON Cleric ?ORG) (and (leader ?ORG ?PERSON) (instance ?ORG ReligiousOrganization))) |
Mid-level-ontology.kif 20918-20922 | |
(=> (occupiesPosition ?PERSON Leader ?ORGANIZATION) (leader ?ORGANIZATION ?PERSON)) |
Government.kif 1306-1308 |