TreeView Knowledge Base Browser

appearance as argument number 1

(instance hasUniform BinaryPredicate)	Mid-level-ontology.kif 29261-29261	has uniform is an instance of binary predicate
(documentation hasUniform EnglishLanguage "(hasUniform ?GRP ?UNIFORM) means that ?GRP is associated or identified by ?UNIFORM and members of ?GRP are expected to wear ?UNIFORM")	Mid-level-ontology.kif 29262-29264	has uniform is an instance of binary predicate
(domain hasUniform 1 Group)	Mid-level-ontology.kif 29266-29266	The number 1 argument of has uniform is an instance of group
(domainSubclass hasUniform 2 UniformClothing)	Mid-level-ontology.kif 29267-29267	The number 2 argument of has uniform is a subclass of uniform

appearance as argument number 2

(termFormat EnglishLanguage hasUniform "has uniform")	Mid-level-ontology.kif 29265-29265
(format EnglishLanguage hasUniform "%1 has uniform %2")	domainEnglishFormat.kif 3610-3610
(format ChineseTraditionalLanguage hasUniform "%1 有 uniform %2 ")	domainEnglishFormat.kif 3611-3611
(format ChineseLanguage hasUniform "%1 有 uniform %2 ")	domainEnglishFormat.kif 3612-3612

antecedent

(=>
    (hasUniform ?GRP ?UNIFORM)
    (modalAttribute
        (exists (?PERS ?CLOTHING ?TIME)
            (and
                (member ?PERS ?GRP)
                (instance ?CLOTHING ?UNIFORM)
                (holdsDuring ?TIME
                    (wears ?PERS ?CLOTHING)))) Likely))

Mid-level-ontology.kif 29269-29277

If X has uniform Y, then the statement there exist Z, W, V such that Z is a member of X, W is an instance of Y, and Z wears W holds during V has the modal force of likely

consequent

(=>
    (subclass ?X UniformClothing)
    (exists (?GRP)
        (hasUniform ?GRP ?X)))

Mid-level-ontology.kif 29284-29287

If X is a subclass of uniform, then there exists Y such that Y has uniform X

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

KB Term:			Term intersection

English Word: