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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - roomStay
roomStay

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2679-2681
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2684-2684 The number 1 argument of room stay is an instance of hotel package
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2685-2685 The number 2 argument of room stay is an instance of integer
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2686-2686 The number 3 argument of room stay is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2678-2678 room stay is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4459-4459
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4458-4458
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4457-4457
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2682-2682

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2688-2700

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2743-2746


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