Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| leader |
| appearance as argument number 1 |
|
| s__instance(s__leader,s__BinaryPredicate)
|
Merge.kif 1703-1703 | leader is an instance of binary predicate |
| s__instance(s__leader,s__SingleValuedRelation)
|
Merge.kif 1704-1704 | leader is an instance of single valued relation |
| s__domain(s__leader,n__1,s__AutonomousAgent)
|
Merge.kif 1705-1705 | The number 1 argument of leader is an instance of agent |
| s__domain(s__leader,n__2,s__Human)
|
Merge.kif 1706-1706 | The number 2 argument of leader is an instance of human |
| s__documentation(s__leader, s__EnglishLanguage, "(leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON_") | Merge.kif 1708-1709 | The number 2 argument of leader is an instance of human |
| appearance as argument number 2 |
|
|
| s__format(s__EnglishLanguage, s__leader, "%2 is %n a leader of %1") | domainEnglishFormat.kif 1449-1449 | |
| s__format(s__ChineseTraditionalLanguage, s__leader, "%2 %n 是 %1 的 leader ") | domainEnglishFormat.kif 1450-1450 | |
| s__format(s__ChineseLanguage, s__leader, "%2 %n 是 %1 的 leader ") | domainEnglishFormat.kif 1451-1451 | |
| s__termFormat(s__EnglishLanguage, s__leader, "leader") | domainEnglishFormat.kif 65881-65881 |
| antecedent |
|
|
| ! [V__TIME : $i,V__X : $i,V__Y : $i] : ((s__holdsDuring(V__TIME, s__leader(V__X, V__Y)) => s__holdsDuring(V__TIME, s__attribute(V__Y, s__Living)))) | Merge.kif 1711-1713 | If X is a leader of Y holds during Z, then living is an attribute of X holds during Z |
| ! [V__PERSON,V__AREA] : ((s__instance(V__PERSON,s__Human) => ((s__instance(V__AREA,s__GeopoliticalArea) & s__leader(s__GovernmentFn(V__AREA) ,V__PERSON)) => s__leader(V__AREA,V__PERSON))) )
|
Merge.kif 14374-14378 | If X is an instance of geopolitical area and Y is a leader of the government of X, then Y is a leader of X |
| ! [V__PERSON,V__AREA] : ((s__instance(V__PERSON,s__Human) => ((s__instance(V__AREA,s__GeopoliticalArea) & s__leader(V__AREA,V__PERSON)) => s__leader(s__GovernmentFn(V__AREA) ,V__PERSON))) )
|
Merge.kif 14380-14384 | If X is an instance of geopolitical area and Y is a leader of X, then Y is a leader of the government of X |
| ! [V__DIRECTOR : $i,V__FILMCREW : $i,V__FILMMAKING : $i,V__MOVIE : $i] : (((s__directed(V__DIRECTOR, V__MOVIE) & s__instance(V__FILMMAKING, s__FilmMaking) & s__instance(V__FILMCREW, s__Organization) & s__leader(V__FILMCREW, V__DIRECTOR) & s__agent(V__FILMMAKING, V__FILMCREW) & s__result(V__FILMMAKING, V__MOVIE)) => s__holdsDuring(s__WhenFn(V__FILMMAKING), s__attribute(V__DIRECTOR, s__FilmDirector)))) | Mid-level-ontology.kif 22976-22985 | If All of the following hold: (1) X directed Y (2) Z is an instance of film making (3) W is an instance of organization (4) X is a leader of W (5) W is an agent of Z (6) Y is a result of Z, then film director is an attribute of X holds during the time of existence of Z |
| ! [V__PERSON,V__ORG,V__ROLE] : ((s__instance(V__PERSON,s__Human) => ((s__instance(V__ORG,s__AutonomousAgent) & s__leader(V__ORG,V__PERSON) & s__instance(V__ROLE,s__Position) & s__occupiesPosition(V__PERSON,V__ROLE,V__ORG)) => s__leaderPosition(V__ORG,V__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 |
| ! [V__PERSON,V__COUNTRY,V__ROLE] : ((s__instance(V__PERSON,s__Human) => ((s__instance(V__COUNTRY,s__Nation) & s__leader(V__COUNTRY,V__PERSON) & s__instance(V__ROLE,s__Position) & s__occupiesPosition(V__PERSON,V__ROLE,s__GovernmentFn(V__COUNTRY))) => s__leaderPosition(V__COUNTRY,V__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 |
| ! [V__P,V__ORG] : ((s__instance(V__P,s__Human) => ((s__instance(V__ORG,s__MilitaryOrganization) & s__leader(V__P,V__ORG)) => s__occupiesPosition(V__P,s__MilitaryCommander,V__ORG))) )
|
MilitaryPersons.kif 342-346 | If X is an instance of military organization and X is a leader of Y, then Y holds the position of military commander in X |
| consequent |
|
|
|