TreeView Knowledge Base Browser - detainee

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - detainee

detainee

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6444-6446
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6448-6448	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 6449-6449	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 6447-6447	detainee is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6450-6450	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 19275-19275
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19274-19274
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19273-19273

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 22960-22973

If a confining is an instance of imprisoning and an animal is a detainee of the confining and the animal is an instance of human and the confining exists during a time interval and the time interval is an instance of time interval,
then there exist a placing under arrest and another time interval such that the other time interval is an instance of time interval and the placing under arrest exists during the other time interval and the other time interval happens earlier than the time interval and the placing under arrest is an instance of placing under arrest and the animal is placed under arrest during the placing under arrest

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	If prisoner is an attribute of an entity holds during a time interval, then there exist another time interval and another entity such that the other entity is an instance of imprisoning and the other time interval happens earlier than the time interval and the entity is a detainee of the other entity holds during the other time interval

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