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 28567-28569
(domain hasUniform 1 Group) Mid-level-ontology.kif 28571-28571 hasUniform の数値 1 引数は グループinstance では
(domainSubclass hasUniform 2 UniformClothing) Mid-level-ontology.kif 28572-28572 hasUniform の数値 2 引数は UniformClothingsubclass では
(instance hasUniform BinaryPredicate) Mid-level-ontology.kif 28566-28566 hasUniform2進述語instance では

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


(format ChineseLanguage hasUniform "%1 有 uniform %2 ") domainEnglishFormat.kif 3612-3612
(format ChineseTraditionalLanguage hasUniform "%1 有 uniform %2 ") domainEnglishFormat.kif 3611-3611
(format EnglishLanguage hasUniform "%1 has uniform %2") domainEnglishFormat.kif 3610-3610
(termFormat EnglishLanguage hasUniform "has uniform") Mid-level-ontology.kif 28570-28570

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 28574-28582

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


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


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 3.0 is open source software produced by Articulate Software and its partners