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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Renting

Sigma KEE - Renting
Renting(renting)lease, rent

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22372-22373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22371-22371 Renting is a subclass of borrowing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22370-22370 Renting is a subclass of financial transaction

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49476-49476
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49475-49475
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49474-49474

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 841-862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22375-22382
No TPTP formula. May not be expressible in strict first order. Hotel.kif 871-897
No TPTP formula. May not be expressible in strict first order. Catalog.kif 467-492

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1696-1704
No TPTP formula. May not be expressible in strict first order. naics.kif 9711-9720
No TPTP formula. May not be expressible in strict first order. Catalog.kif 513-526
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6851-6859
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29917-29925
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6867-6875


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