| appearance as argument number 1 |
|
| (documentation PassengerCarRental EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Passenger Car Rental or Passenger Car Rental.") | naics.kif 9707-9709 | |
| (subAttribute PassengerCarRental PassengerCarRentalAndLeasing) | naics.kif 9706-9706 | Passenger car rental is a subattribute of passenger car rental and leasing |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PassengerCarRental "乘用车租赁") | domainEnglishFormat.kif 44720-44720 | |
| (termFormat ChineseTraditionalLanguage PassengerCarRental "乘用車租賃") | domainEnglishFormat.kif 44719-44719 | |
| (termFormat EnglishLanguage PassengerCarRental "passenger car rental") | domainEnglishFormat.kif 44718-44718 |
| antecedent |
|
|
| (=> (attribute ?X PassengerCarRental) (hasPurpose ?X (exists (?RENT ?CAR ?CUST) (and (customer ?CUST ?X) (instance ?CAR Automobile) (instance ?RENT Renting) (possesses ?X ?CAR) (agent ?RENT ?CUST))))) |
naics.kif 9711-9720 |
|
|
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