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 26701-26703
(domain hasUniform 1 Group)	Mid-level-ontology.kif 26705-26705	hasUniform 的 1 数量是群组的 instance
(domainSubclass hasUniform 2 UniformClothing)	Mid-level-ontology.kif 26706-26706	hasUniform 的 2 数量是 UniformClothing 的 subclass
(instance hasUniform BinaryPredicate)	Mid-level-ontology.kif 26700-26700	hasUniform 是二元谓语的 instance

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 26704-26704

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 26708-26716

如果群组有 uniform 有点 UniformClothing ，
然后有存在实体，另一个实体， and 和第三实体这样那个实体是那个群组的 member 和那个另外实体是有点 UniformClothing 的 instance 和那个实体 wears 那个另外实体在那个第三实体 holdsDuring 的声明 has 容易的语气

consequent

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

Mid-level-ontology.kif 26723-26726

如果有点 UniformClothing 是 UniformClothing 的 subclass，
然后有存在群组这样那个群组有 uniform 有点 UniformClothing

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

KB Term:			Term intersection

English Word: