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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - groupMember
groupMember

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8725-8727
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8723-8723 The number 1 argument of group member is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8724-8724 The number 2 argument of group member is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8722-8722 group member is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8721-8721 group member is a subrelation of member

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3560-3560
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3559-3559
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3558-3558
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26747-26747
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26746-26746
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26745-26745

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8729-8736


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