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 26668-26670
(domain hasUniform 1 Group)	Mid-level-ontology.kif 26672-26672	hasUniform の数値 1 引数はグループの instance では %n
(domainSubclass hasUniform 2 UniformClothing)	Mid-level-ontology.kif 26673-26673	hasUniform の数値 2 引数は UniformClothing のsubclass では %n
(instance hasUniform BinaryPredicate)	Mid-level-ontology.kif 26667-26667	hasUniform は 2進述語の instance では %n

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

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 26675-26683

hasUniform グループ and UniformClothing
ステートメントエンティティーエンティティー and エンティティーエンティティーはグループの member では %n エンティティーは UniformClothing の instance では %n エンティティーは % を wears %n{ない} はエンティティーの during holds %n{ない} には Likely の modal force がある

consequent

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

Mid-level-ontology.kif 26690-26693

UniformClothing は UniformClothing の subclass では %n
グループ hasUniform グループ and UniformClothing

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

KB Term:			Term intersection

English Word: