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	O argumento numero 1 de hasUniform e' uma instancia de Grupo
(domainSubclass hasUniform 2 UniformClothing)	Mid-level-ontology.kif 26706-26706	O argumento numero 2 de hasUniform e' uma sub-classe de UniformClothing
(instance hasUniform BinaryPredicate)	Mid-level-ontology.kif 26700-26700	hasUniform e' uma instancia de Predicado Binario

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

hasUniform Grupo and UniformClothing
o argumento Entidade Entidade and Entidade Entidade e' membro de Grupo Entidade e' uma instancia de UniformClothing Entidade usa Entidade vale durante Entidade tem a forca modal de Likely

consequent

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

Mid-level-ontology.kif 26723-26726

UniformClothing e' uma sub-classe de UniformClothing
Grupo hasUniform Grupo and UniformClothing

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

KB Term:			Term intersection

English Word: