TreeView Knowledge Base Browser

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 6780-6782
(domain detainee 1 Confining)	Mid-level-ontology.kif 6784-6784	域被拘留者, 1 and Confining
(domain detainee 2 Animal)	Mid-level-ontology.kif 6785-6785	域被拘留者, 2 and Animal
(instance detainee CaseRole)	Mid-level-ontology.kif 6783-6783	例被拘留者 and CaseRole
(subrelation detainee patient)	Mid-level-ontology.kif 6786-6786	子關係被拘留者 and 患者

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 19284-19284
(termFormat ChineseTraditionalLanguage detainee "被拘留者")	domainEnglishFormat.kif 19283-19283
(termFormat EnglishLanguage detainee "detainee")	domainEnglishFormat.kif 19282-19282

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 23513-23526

例 Confining and 監禁 Animal 是 Confining 的拘留者例 Animal and Human 時間 Confining and TimeInterval 例 TimeInterval and TimeInterval
被捕 TimeInterval 例 TimeInterval and TimeInterval 時間被捕 and TimeInterval 早期 TimeInterval and TimeInterval 例被捕 and 被捕被捕被捕 and Animal

consequent

(<=> (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE))	Justice.kif 26-28	SentientAgent 在此刻拘留對於 Object 在地方 TimePosition SentientAgent 對於 Confining 和 TimePosition 和 Object 在事件類別被拘留者 plays 角色
(=> (holdsDuring ?NOW (attribute ?P Prisoner)) (exists (?BEFORE ?IMPRISONING) (and (instance ?IMPRISONING Imprisoning) (earlier ?BEFORE ?NOW) (holdsDuring ?BEFORE (detainee ?IMPRISONING ?P)))))	MilitaryPersons.kif 242-250	持有期間 TimeInterval and attribute entity and 囚犯 TimeInterval Entity 例 Entity and 監禁早期 TimeInterval and TimeInterval 持有期間 TimeInterval and entity 是 Entity 的拘留者

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: