| 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 6440-6442 | |
| (domain detainee 1 Confining) | Mid-level-ontology.kif 6444-6444 | domain detainee, 1 and Confining |
| (domain detainee 2 Animal) | Mid-level-ontology.kif 6445-6445 | domain detainee, 2 and Animal |
| (instance detainee CaseRole) | Mid-level-ontology.kif 6443-6443 | instance detainee and CaseRole |
| (subrelation detainee patient) | Mid-level-ontology.kif 6446-6446 | subrelation detainee and patient |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage detainee "%2 %n 是 %1 的 拘留者") | domainEnglishFormat.kif 728-728 | |
| (format ChineseTraditionalLanguage detainee "%2 %n 是 %1 的 拘留者") | domainEnglishFormat.kif 727-727 | |
| (format EnglishLanguage detainee "%2 is %n a detainee of %1") | domainEnglishFormat.kif 726-726 | |
| (termFormat ChineseLanguage detainee "被拘留者") | domainEnglishFormat.kif 19207-19207 | |
| (termFormat ChineseTraditionalLanguage detainee "被拘留者") | domainEnglishFormat.kif 19206-19206 | |
| (termFormat EnglishLanguage detainee "detainee") | domainEnglishFormat.kif 19205-19205 |
| 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 21437-21450 |
|
| consequent |
|
|
| (<=> (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE)) |
Justice.kif 26-28 | detainedAtTimeInPlace SentientAgent, TimePosition and Object playsRoleInEventOfType SentientAgent, detainee, Confining, TimePosition and Object |
| (=> (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