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 174-174
(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 173-173 HumanSlave est une instance de r�le social

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


(termFormat ChineseLanguage HumanSlave "人类奴隶") domainEnglishFormat.kif 28899-28899
(termFormat ChineseTraditionalLanguage HumanSlave "人類奴隸") domainEnglishFormat.kif 28898-28898
(termFormat EnglishLanguage HumanSlave "human slave") domainEnglishFormat.kif 28897-28897

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


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