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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanSlave
HumanSlave
more pictures...

appearance as argument number 1
-------------------------


(documentation HumanSlave EnglishLanguage "A Human who is owned by someone else.") Mid-level-ontology.kif 295-295
(externalImage HumanSlave "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ CSD_2006_Cologne_BDSM_04.jpg") pictureList.kif 3138-3138
(externalImage HumanSlave "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7c/ S%26M_Dungeon_7_by_David_Shankbone.jpg") pictureList.kif 3139-3139
(externalImage HumanSlave "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7f/ Geromeslavemarket.jpg") pictureList.kif 2969-2969
(externalImage HumanSlave "http://upload.wikimedia.org/wikipedia/commons/ b/ b7/ 024debret.jpg") pictureList.kif 3136-3136
(externalImage HumanSlave "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ S%26M_Dungeon_4_by_David_Shankbone.jpg") pictureList.kif 3140-3140
(externalImage HumanSlave "http://upload.wikimedia.org/wikipedia/commons/ d/ de/ Jean-L%C3%A9on_G%C3%A9r%C3%B4me_004.jpg") pictureList.kif 3137-3137
(externalImage HumanSlave "http://upload.wikimedia.org/wikipedia/en/2/20/ Am_I_not_a_man.jpg") pictureList.kif 3135-3135
(instance HumanSlave SocialRole) Mid-level-ontology.kif 294-294 instance HumanSlave and SocialRole

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage HumanSlave "人类奴隶") domainEnglishFormat.kif 28822-28822
(termFormat ChineseTraditionalLanguage HumanSlave "人類奴隸") domainEnglishFormat.kif 28821-28821
(termFormat EnglishLanguage HumanSlave "human slave") domainEnglishFormat.kif 28820-28820

antecedent
-------------------------


(=>
    (holdsDuring ?TIME
        (attribute ?SLAVE HumanSlave))
    (exists (?PERSON)
        (and
            (instance ?PERSON Human)
            (not
                (equal ?PERSON ?SLAVE))
            (holdsDuring ?TIME
                (possesses ?PERSON ?SLAVE)))))
Mid-level-ontology.kif 307-314


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