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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Suite

 Sigma KEE - Suite
Suite

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 998-999
No TPTP formula. May not be expressible in strict first order. Hotel.kif 997-997 Suite e' uma instancia de HotelRoomAttribute

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1024-1024 ChildrenSuite e' um sub-atributo de Suite
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1142-1142 HoneymoonSuite e' um sub-atributo de Suite
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1001-1001 DeluxeRoom e' um atributo sucessor immediato de Suite
No TPTP formula. May not be expressible in strict first order. Hotel.kif 989-989 StandardRoom e' um atributo sucessor de Suite
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1000-1000

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1003-1014
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1016-1021


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