TreeView Knowledge Base Browser

appearance as argument number 2

(format EnglishLanguage detainee "%2 is %n a detainee of %1")	domainEnglishFormat.kif 726-726
(format ChineseTraditionalLanguage detainee "%2 %n 是 %1 的拘留者")	domainEnglishFormat.kif 727-727
(format ChineseLanguage detainee "%2 %n 是 %1 的拘留者")	domainEnglishFormat.kif 728-728
(termFormat EnglishLanguage detainee "detainee")	domainEnglishFormat.kif 19284-19284
(termFormat ChineseTraditionalLanguage detainee "被拘留者")	domainEnglishFormat.kif 19285-19285
(termFormat ChineseLanguage detainee "被拘留者")	domainEnglishFormat.kif 19286-19286

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 25831-25844

If X is an instance of imprisoning, Y is a detainee of X, Y is an instance of human, X exists during Z, and Z is an instance of timeframe, then there exist W, V such that V is an instance of timeframe, W exists during V, V happens earlier than Z, W is an instance of placing under arrest, and Y is placed under arrest during W

consequent

(<=> (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE))	Justice.kif 26-28	X detained at time in place Y for Z if, only if X plays role in event of type detainee for confining with Y, and Z
(=> (holdsDuring ?NOW (attribute ?P Prisoner)) (exists (?BEFORE ?IMPRISONING) (and (instance ?IMPRISONING Imprisoning) (earlier ?BEFORE ?NOW) (holdsDuring ?BEFORE (detainee ?IMPRISONING ?P)))))	MilitaryPersons.kif 245-253	If prisoner is an attribute of X holds during Y, then there exist Z, W such that W is an instance of imprisoning, Z happens earlier than Y, and X is a detainee of W holds during Z

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

KB Term:			Term intersection

English Word: