Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - HumanSlave
HumanSlave(human slave)
more pictures...		slave

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


(instance HumanSlave SocialRole) Mid-level-ontology.kif 153-153 Human slave is an instance of social role
(documentation HumanSlave EnglishLanguage "A Human who is owned by someone else.") Mid-level-ontology.kif 154-154 Human slave is an instance of social role
(externalImage HumanSlave "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7f/ Geromeslavemarket.jpg") pictureList.kif 2967-2967 Human slave is an instance of social role
(externalImage HumanSlave "http://upload.wikimedia.org/wikipedia/en/2/20/ Am_I_not_a_man.jpg") pictureList.kif 3133-3133 Human slave is an instance of social role
(externalImage HumanSlave "http://upload.wikimedia.org/wikipedia/commons/ b/ b7/ 024debret.jpg") pictureList.kif 3134-3134 Human slave is an instance of social role
(externalImage HumanSlave "http://upload.wikimedia.org/wikipedia/commons/ d/ de/ Jean_L%C3%A9on_G%C3%A9r%C3%B4me_004.jpg") pictureList.kif 3135-3135 Human slave is an instance of social role
(externalImage HumanSlave "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ CSD_2006_Cologne_BDSM_04.jpg") pictureList.kif 3136-3136 Human slave is an instance of social role
(externalImage HumanSlave "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7c/ S%26M_Dungeon_7_by_David_Shankbone.jpg") pictureList.kif 3137-3137 Human slave is an instance of social role
(externalImage HumanSlave "http://upload.wikimedia.org/wikipedia/commons/ c/ cb/ S%26M_Dungeon_4_by_David_Shankbone.jpg") pictureList.kif 3138-3138 Human slave is an instance of social role

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


(termFormat EnglishLanguage HumanSlave "human slave") domainEnglishFormat.kif 28901-28901
(termFormat ChineseTraditionalLanguage HumanSlave "人類奴隸") domainEnglishFormat.kif 28902-28902
(termFormat ChineseLanguage HumanSlave "人类奴隶") domainEnglishFormat.kif 28903-28903

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 156-163 If human slave is an attribute of X holds during Y, then there exists Z such that Z is an instance of human, equal Z, X, and Z possesses X holds during Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners