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 The number 1 argument of detainee is an instance of confining
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6785-6785 The number 2 argument of detainee is an instance of animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6783-6783 detainee is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6786-6786 detainee is a subrelation of patient

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 A sentient agent detained at time in place a time position for an object if and only if the sentient agent plays role in event of type detainee for confining with the time position and the object
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