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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HumanSlave

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 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 人类奴隶身分instance

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


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