| appearance as argument number 1 |
|
| (documentation leader EnglishLanguage "(leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON.") | Merge.kif 1649-1650 | |
| (domain leader 1 Agent) | Merge.kif 1647-1647 | |
| (domain leader 2 Human) | Merge.kif 1648-1648 | |
| (instance leader AsymmetricRelation) | Merge.kif 1645-1645 | |
| (instance leader BinaryPredicate) | Merge.kif 1644-1644 | |
| (instance leader SingleValuedRelation) | Merge.kif 1646-1646 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage leader "%2 is %n a leader of %1") | domainEnglishFormat.kif 371-371 |
| 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 18332-18341 | |
| (=> (and (instance ?AREA GeopoliticalArea) (leader (GovernmentFn ?AREA) ?PERSON)) (leader ?AREA ?PERSON)) |
Merge.kif 14007-14011 | |
| (=> (and (instance ?AREA GeopoliticalArea) (leader ?AREA ?PERSON)) (leader (GovernmentFn ?AREA) ?PERSON)) |
Merge.kif 14013-14017 | |
| (=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE)) |
Government.kif 1416-1422 | |
| (=> (and (instance ?ORG Agent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE)) |
Government.kif 1407-1413 | |
| (=> (holdsDuring ?TIME (leader ?X ?Y)) (holdsDuring ?TIME (attribute ?Y Living))) |
Merge.kif 1652-1654 |
| consequent |
|
|
| (=> (and (instance ?AREA GeopoliticalArea) (leader (GovernmentFn ?AREA) ?PERSON)) (leader ?AREA ?PERSON)) |
Merge.kif 14007-14011 | |
| (=> (and (instance ?AREA GeopoliticalArea) (leader ?AREA ?PERSON)) (leader (GovernmentFn ?AREA) ?PERSON)) |
Merge.kif 14013-14017 | |
| (=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader ?AREA)) (leader (GovernmentFn ?AREA) ?PERSON)) |
Government.kif 1306-1310 | |
| (=> (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 1473-1484 | |
| (=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?AREA GeopoliticalArea) (leaderPosition ?AREA ?ROLE) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?AREA))) (leader ?AREA ?PERSON)) |
Government.kif 1447-1454 | |
| (=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG Agent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON)) |
Government.kif 1438-1445 | |
| (=> (attribute ?H PresidentOfTheUnitedStates) (leader ?H UnitedStates)) |
Government.kif 1463-1465 | |
| (=> (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 18322-18330 | |
| (=> (holdsDuring ?T1 (occupiesPosition ?PERSON SecretaryOfTheInterior UnitedStatesDepartmentOfInterior)) (holdsDuring ?T1 (leader UnitedStatesDepartmentOfInterior ?PERSON))) |
Government.kif 4795-4799 | |
| (=> (occupiesPosition ?H Pope RomanCatholicChurch) (leader RomanCatholicChurch ?H)) |
People.kif 1292-1294 | |
| (=> (occupiesPosition ?PERSON Leader ?ORGANIZATION) (leader ?ORGANIZATION ?PERSON)) |
Government.kif 1302-1304 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners