Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hasUniform
hasUniform

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 24800-24802
(domain hasUniform 1 Group) Mid-level-ontology.kif 24804-24804 hasUniform の数値 1 引数は グループinstance では %n
(domainSubclass hasUniform 2 UniformClothing) Mid-level-ontology.kif 24805-24805 hasUniform の数値 2 引数は UniformClothingsubclass では %n
(instance hasUniform BinaryPredicate) Mid-level-ontology.kif 24799-24799 hasUniform2進述語instance では %n

appearance as argument number 2
-------------------------


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

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 24807-24815

consequent
-------------------------


(=>
    (subclass ?X UniformClothing)
    (exists (?GRP)
        (hasUniform ?GRP ?X)))
Mid-level-ontology.kif 24822-24825


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners