TreeView Knowledge Base Browser

appearance as argument number 1

(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 26656-26658
(domain hasUniform 1 Group)	Mid-level-ontology.kif 26660-26660
(domainSubclass hasUniform 2 UniformClothing)	Mid-level-ontology.kif 26661-26661
(instance hasUniform BinaryPredicate)	Mid-level-ontology.kif 26655-26655

appearance as argument number 2

(format ChineseLanguage hasUniform "%1 有 uniform %2 ")	domainEnglishFormat.kif 3614-3614
(format ChineseTraditionalLanguage hasUniform "%1 有 uniform %2 ")	domainEnglishFormat.kif 3613-3613
(format EnglishLanguage hasUniform "%1 has uniform %2")	domainEnglishFormat.kif 3612-3612
(termFormat EnglishLanguage hasUniform "has uniform")	Mid-level-ontology.kif 26659-26659

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 26663-26671

consequent

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

Mid-level-ontology.kif 26678-26681

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

KB Term:			Term intersection

English Word: