Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - leader
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 65863-65863

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 20734-20743
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (leader
            (GovernmentFn ?AREA) ?PERSON))
    (leader ?AREA ?PERSON))
Merge.kif 14060-14064
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (leader ?AREA ?PERSON))
    (leader
        (GovernmentFn ?AREA) ?PERSON))
Merge.kif 14066-14070
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))
Government.kif 1456-1462
(=>
    (and
        (instance ?ORG AutonomousAgent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))
Government.kif 1447-1453
(=>
    (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 14060-14064
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (leader ?AREA ?PERSON))
    (leader
        (GovernmentFn ?AREA) ?PERSON))
Merge.kif 14066-14070
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (occupiesPosition ?PERSON Leader ?AREA))
    (leader
        (GovernmentFn ?AREA) ?PERSON))
Government.kif 1346-1350
(=>
    (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 1513-1524
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?AREA GeopoliticalArea)
        (leaderPosition ?AREA ?ROLE)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?AREA)))
    (leader ?AREA ?PERSON))
Government.kif 1487-1494
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG AutonomousAgent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))
Government.kif 1478-1485
(=>
    (attribute ?H PresidentOfTheUnitedStates)
    (leader ?H UnitedStates))
Government.kif 1503-1505
(=>
    (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 20724-20732
(=>
    (holdsDuring ?T1
        (occupiesPosition ?PERSON SecretaryOfTheInterior UnitedStatesDepartmentOfInterior))
    (holdsDuring ?T1
        (leader UnitedStatesDepartmentOfInterior ?PERSON)))
Government.kif 4859-4863
(=>
    (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 20891-20895
(=>
    (occupiesPosition ?PERSON Leader ?ORGANIZATION)
    (leader ?ORGANIZATION ?PERSON))
Government.kif 1342-1344


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 3.0 is open source software produced by Articulate Software and its partners