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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PassengerCarRentalAndLeasing

Sigma KEE - PassengerCarRentalAndLeasing
PassengerCarRentalAndLeasing(passenger car rental and leasing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9702-9704
No TPTP formula. May not be expressible in strict first order. naics.kif 9700-9700 Passenger car rental and leasing is a subattribute of automotive equipment rental and leasing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9722-9722 Passenger car leasing is a subattribute of passenger car rental and leasing
No TPTP formula. May not be expressible in strict first order. naics.kif 9706-9706 Passenger car rental is a subattribute of passenger car rental and leasing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44690-44690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44689-44689
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44688-44688


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