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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


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

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


(termFormat ChineseLanguage HumanSlave "人类奴隶") domainEnglishFormat.kif 28933-28933
(termFormat ChineseTraditionalLanguage HumanSlave "人類奴隸") domainEnglishFormat.kif 28932-28932
(termFormat EnglishLanguage HumanSlave "human slave") domainEnglishFormat.kif 28931-28931

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 169-176


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