| appearance as argument number 1 |
|
| (documentation detainee EnglishLanguage "(detainee ?EVENT ?OBJECT) means that in the Confining ?EVENT, the Object ?OBJECT is restrained by force, threat, or other form of intimidation.") | Mid-level-ontology.kif 6439-6441 | |
| (domain detainee 1 Confining) | Mid-level-ontology.kif 6443-6443 | |
| (domain detainee 2 Animal) | Mid-level-ontology.kif 6444-6444 | |
| (instance detainee CaseRole) | Mid-level-ontology.kif 6442-6442 | |
| (subrelation detainee patient) | Mid-level-ontology.kif 6445-6445 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage detainee "%2 is %n a detainee of %1") | domainEnglishFormat.kif 191-191 | |
| (termFormat EnglishLanguage detainee "detainee") | domainEnglishFormat.kif 3635-3635 |
| antecedent |
|
|
| (=> (and (instance ?IMPRISON Imprisoning) (detainee ?IMPRISON ?AGENT) (instance ?AGENT Human) (time ?IMPRISON ?INTERVAL) (instance ?INTERVAL TimeInterval)) (exists (?ARREST ?TIME) (and (instance ?TIME TimeInterval) (time ?ARREST ?TIME) (earlier ?TIME ?INTERVAL) (instance ?ARREST PlacingUnderArrest) (arrested ?ARREST ?AGENT)))) |
Mid-level-ontology.kif 21424-21437 |
| consequent |
|
|
| (<=> (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE)) |
Justice.kif 26-28 | |
| (=> (holdsDuring ?NOW (attribute ?P Prisoner)) (exists (?BEFORE ?IMPRISONING) (and (instance ?IMPRISONING Imprisoning) (earlier ?BEFORE ?NOW) (holdsDuring ?BEFORE (detainee ?IMPRISONING ?P))))) |
MilitaryPersons.kif 242-250 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners