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

Formal Language: 



KB Term:  Term intersection
English Word: 

  freeFunctionRoomAmenity

 Sigma KEE - freeFunctionRoomAmenity
freeFunctionRoomAmenity

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 836-838
No TPTP formula. May not be expressible in strict first order. Hotel.kif 835-835 例 freeFunctionRoomAmenity and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Hotel.kif 834-834 子關係 freeFunctionRoomAmenity and functionRoomAmenity

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3490-3490
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3489-3489
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3488-3488
No TPTP formula. May not be expressible in strict first order. Hotel.kif 839-839

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