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

Formal Language: 



KB Term:  Term intersection
English Word: 

  detainee

 Sigma KEE - detainee
detainee

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6780-6782
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6784-6784 域 被拘留者, 1 and Confining
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6785-6785 域 被拘留者, 2 and Animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6783-6783 例 被拘留者 and CaseRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6786-6786 子關係 被拘留者 and 患者

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 728-728
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 727-727
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 726-726
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19284-19284
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19283-19283
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19282-19282

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23513-23526

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Justice.kif 26-28 SentientAgent 在此刻拘留 對於 Object 在地方 TimePosition SentientAgent 對於 Confining 和 TimePosition 和 Object 在事件類別 被拘留者 plays 角色
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 242-250


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