PassengerCarRental - Sigma Knowledge base Browser

appearance as argument number 1

(subAttribute PassengerCarRental PassengerCarRentalAndLeasing)	naics.kif 9703-9703	Passenger car rental is a subattribute of passenger car rental and leasing
(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 9704-9706	Passenger car rental is a subattribute of passenger car rental and leasing

appearance as argument number 2

(termFormat EnglishLanguage PassengerCarRental "passenger car rental")	domainEnglishFormat.kif 44675-44675
(termFormat ChineseTraditionalLanguage PassengerCarRental "乘用車租賃")	domainEnglishFormat.kif 44676-44676
(termFormat ChineseLanguage PassengerCarRental "乘用车租赁")	domainEnglishFormat.kif 44677-44677

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 9708-9717

If passenger car rental is an attribute of X, then X has the purpose there exist Y, Z, W such that X is a customer of W, Z is an instance of automobile, Y is an instance of renting, X possesses Z, and W is an agent of Y

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners