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

Formal Language: 



KB Term:  Term intersection
English Word: 

  functionRoomAmenity

 Sigma KEE - functionRoomAmenity
functionRoomAmenity

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 803-805
No TPTP formula. May not be expressible in strict first order. Hotel.kif 808-808 域子類 functionRoomAmenity, 1 and HotelFunctionRoom
No TPTP formula. May not be expressible in strict first order. Hotel.kif 809-809 域子類 functionRoomAmenity, 2 and Physical
No TPTP formula. May not be expressible in strict first order. Hotel.kif 802-802 例 functionRoomAmenity and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3514-3514
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3513-3513
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3512-3512
No TPTP formula. May not be expressible in strict first order. Hotel.kif 834-834 子關係 freeFunctionRoomAmenity and functionRoomAmenity
No TPTP formula. May not be expressible in strict first order. Hotel.kif 864-864 子關係 paidFunctionRoomAmenity and functionRoomAmenity
No TPTP formula. May not be expressible in strict first order. Hotel.kif 806-806

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