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

Formal Language: 



KB Term:  Term intersection
English Word: 

  rents

Sigma KEE - rents
rents

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29987-29989
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29996-29996 The number 1 argument of rents is an instance of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29997-29997 The number 2 argument of rents is an instance of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29998-29998 The number 3 argument of rents is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29999-29999 The number 4 argument of rents is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29986-29986 rents is an instance of quaternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4386-4386
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4385-4385
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4384-4384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29990-29990

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 69-75
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30001-30009

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 45-52
No TPTP formula. May not be expressible in strict first order. Hotel.kif 110-117


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