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 6439-6441
(domain detainee 1 Confining)	Mid-level-ontology.kif 6443-6443	detainee 的 1 数量是关押的 instance
(domain detainee 2 Animal)	Mid-level-ontology.kif 6444-6444	detainee 的 2 数量是动物的 instance
(instance detainee CaseRole)	Mid-level-ontology.kif 6442-6442	detainee 是格角色的 instance
(subrelation detainee patient)	Mid-level-ontology.kif 6445-6445	detainee 是受事的 subrelation

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	termFormat EnglishLanguage, detainee and "detainee"

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

如果关押是 Imprisoning 的 instance 和 detainee 那个关押 and 动物和那个动物是人类的 instance 和那个关押在时距是存在和那个时距是时距的 instance，
然后有存在 PlacingUnderArrest 和另一个时距这样那个另外时距是时距的 instance 和那个 PlacingUnderArrest 在那个另外时距是存在和那个另外时距比那个时距发生的earlier 和那个 PlacingUnderArrest 是 PlacingUnderArrest 的 instance 和那个动物是在那个 PlacingUnderArrest 的情况下被拘留

consequent

(<=> (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE))	Justice.kif 26-28	detainedAtTimeInPlace 有感知的主事, 时间位置 and 客体若且唯若 playsRoleInEventOfType 那个有感知的主事, detainee, 关押, 那个时间位置 and 那个客体
(=> (holdsDuring ?NOW (attribute ?P Prisoner)) (exists (?BEFORE ?IMPRISONING) (and (instance ?IMPRISONING Imprisoning) (earlier ?BEFORE ?NOW) (holdsDuring ?BEFORE (detainee ?IMPRISONING ?P)))))	MilitaryPersons.kif 242-250	如果 Prisoner 是实体的 attribute 在时距 holdsDuring，然后有存在另一个时距和另一个实体这样那个另外实体是 Imprisoning 的 instance 和那个另外时距比那个时距发生的earlier 和 detainee 那个另外实体 and 那个实体在那个另外时距 holdsDuring

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

KB Term:			Term intersection

English Word: