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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GrammaticalGender

 Sigma KEE - GrammaticalGender
GrammaticalGender(grammatical gender)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19254-19256
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19253-19253 Grammatical gender is a subclass of linguistic attribute

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19272-19272 Animate is an instance of grammatical gender
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19261-19261 Female is an instance of grammatical gender
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19275-19275 Inanimate is an instance of grammatical gender
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19265-19265 Male is an instance of grammatical gender
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19269-19269 Neuter is an instance of grammatical gender
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19258-19258
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19259-19259

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19281-19281 The number 3 argument of noun gender is an instance of grammatical gender


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

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