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

Formal Language: 



KB Term:  Term intersection
English Word: 

  hasUniform

 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 26656-26658
(domain hasUniform 1 Group) Mid-level-ontology.kif 26660-26660 Il numero 1 argomenti di hasUniform è un istanza di Gruppo
(domainSubclass hasUniform 2 UniformClothing) Mid-level-ontology.kif 26661-26661 Il numero 2 argomento hasUniform è una sottoclasse diUniformClothing
(instance hasUniform BinaryPredicate) Mid-level-ontology.kif 26655-26655 hasUniform è un' istanza di PredicatoBinario

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

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

Show without tree


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