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 7941-7943
(domain detainee 1 Confining)	Mid-level-ontology.kif 7945-7945	被拘留者的 1 数量是关押的 instance
(domain detainee 2 Animal)	Mid-level-ontology.kif 7946-7946	被拘留者的 2 数量是动物的 instance
(instance detainee CaseRole)	Mid-level-ontology.kif 7944-7944	被拘留者是格角色的 instance
(subrelation detainee patient)	Mid-level-ontology.kif 7947-7947	被拘留者是受事的 subrelation

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 19293-19293
(termFormat ChineseTraditionalLanguage detainee "被拘留者")	domainEnglishFormat.kif 19292-19292
(termFormat EnglishLanguage detainee "detainee")	domainEnglishFormat.kif 19291-19291

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 25156-25169

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

consequent

(<=> (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE))	Justice.kif 26-28	1 在此刻拘留对于 %3 在地方 %2 若且唯若有感知的主事对于关押和时间位置和客体在事件类别被拘留者 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	如果囚犯是实体的 attribute 在时距 holdsDuring，然后有存在另一个时距和另一个实体这样那个另外实体是监禁的 instance 和那个另外时距比那个时距发生的earlier 和那个实体是那个另外实体的拘留者在那个另外时距 holdsDuring

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

KB Term:			Term intersection

English Word: