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

Formal Language: 



KB Term:  Term intersection
English Word: 

  leader

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 1555-1556
(domain leader 1 Agent) Merge.kif 1552-1552
(domain leader 2 Human) Merge.kif 1553-1553
(instance leader AsymmetricRelation) Merge.kif 1550-1550
(instance leader BinaryPredicate) Merge.kif 1549-1549
(instance leader SingleValuedRelation) Merge.kif 1551-1551

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

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 20051-20060
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (leader
            (GovernmentFn ?AREA) ?PERSON))
    (leader ?AREA ?PERSON))
Merge.kif 13806-13810
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (leader ?AREA ?PERSON))
    (leader
        (GovernmentFn ?AREA) ?PERSON))
Merge.kif 13812-13816
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))
Government.kif 1441-1447
(=>
    (and
        (instance ?ORG Agent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))
Government.kif 1432-1438
(=>
    (holdsDuring ?TIME
        (leader ?X ?Y))
    (holdsDuring ?TIME
        (attribute ?Y Living)))
Merge.kif 1558-1560

consequent
-------------------------


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (leader
            (GovernmentFn ?AREA) ?PERSON))
    (leader ?AREA ?PERSON))
Merge.kif 13806-13810
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (leader ?AREA ?PERSON))
    (leader
        (GovernmentFn ?AREA) ?PERSON))
Merge.kif 13812-13816
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (occupiesPosition ?PERSON Leader ?AREA))
    (leader
        (GovernmentFn ?AREA) ?PERSON))
Government.kif 1331-1335
(=>
    (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 1498-1509
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?AREA GeopoliticalArea)
        (leaderPosition ?AREA ?ROLE)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?AREA)))
    (leader ?AREA ?PERSON))
Government.kif 1472-1479
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG Agent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))
Government.kif 1463-1470
(=>
    (attribute ?H PresidentOfTheUnitedStates)
    (leader ?H UnitedStates))
Government.kif 1488-1490
(=>
    (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 20041-20049
(=>
    (holdsDuring ?T1
        (occupiesPosition ?PERSON SecretaryOfTheInterior UnitedStatesDepartmentOfInterior))
    (holdsDuring ?T1
        (leader UnitedStatesDepartmentOfInterior ?PERSON)))
Government.kif 4839-4843
(=>
    (occupiesPosition ?H Pope RomanCatholicChurch)
    (leader RomanCatholicChurch ?H))
People.kif 1300-1302
(=>
    (occupiesPosition ?PERSON Cleric ?ORG)
    (and
        (leader ?ORG ?PERSON)
        (instance ?ORG ReligiousOrganization)))
Mid-level-ontology.kif 20208-20212
(=>
    (occupiesPosition ?PERSON Leader ?ORGANIZATION)
    (leader ?ORGANIZATION ?PERSON))
Government.kif 1327-1329


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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