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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Renting

Sigma KEE - Renting
Renting(租)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22423-22424
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22422-22422 子類 and Borrowing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22421-22421 子類 and FinancialTransaction

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49490-49490
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49489-49489
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49488-49488

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 22426-22433
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 6891-6899
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30001-30009
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6907-6915


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