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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - paidPropertyAmenity
paidPropertyAmenity

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 569-570
No TPTP formula. May not be expressible in strict first order. Hotel.kif 566-566 The number 1 argument of paid property amenity is an instance of agent
No TPTP formula. May not be expressible in strict first order. Hotel.kif 567-567 The number 2 argument of paid property amenity is a subclass of physical
No TPTP formula. May not be expressible in strict first order. Hotel.kif 568-568 paid property amenity is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Hotel.kif 565-565 paid property amenity is a subrelation of property amenity

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4070-4070
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4069-4069
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4068-4068
No TPTP formula. May not be expressible in strict first order. Hotel.kif 571-571

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 573-593


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