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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShipMate
ShipMate(ship mate)first_mate, mate

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18989-18990
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18988-18988 Ship mate is a subattribute of sailor

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3281-3281 Chief steward is a subattribute of ship mate
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3280-3280 First mate is a subattribute of ship mate
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52677-52677
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52676-52676
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52675-52675


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