ScenicAndSightseeingTransportation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ScenicAndSightseeingTransportation EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Scenic and Sightseeing Transportation.")	naics.kif 8524-8526
(instance ScenicAndSightseeingTransportation IndustryAttribute)	naics.kif 8522-8522	Scenic and sightseeing transportation is an instance of industry attribute

appearance as argument number 2

(subAttribute ScenicAndSightseeingTransportationLand ScenicAndSightseeingTransportation)	naics.kif 8551-8551	Scenic and sightseeing transportation land is a subattribute of scenic and sightseeing transportation
(subAttribute ScenicAndSightseeingTransportationOther ScenicAndSightseeingTransportation)	naics.kif 8563-8563	Scenic and sightseeing transportation other is a subattribute of scenic and sightseeing transportation
(subAttribute ScenicAndSightseeingTransportationWater ScenicAndSightseeingTransportation)	naics.kif 8557-8557	Scenic and sightseeing transportation water is a subattribute of scenic and sightseeing transportation
(termFormat ChineseLanguage ScenicAndSightseeingTransportation "景区和观光交通")	domainEnglishFormat.kif 51535-51535	Scenic and sightseeing transportation water is a subattribute of scenic and sightseeing transportation
(termFormat ChineseTraditionalLanguage ScenicAndSightseeingTransportation "景區和觀光交通")	domainEnglishFormat.kif 51534-51534	Scenic and sightseeing transportation water is a subattribute of scenic and sightseeing transportation
(termFormat EnglishLanguage ScenicAndSightseeingTransportation "scenic and sightseeing transportation")	domainEnglishFormat.kif 51533-51533	Scenic and sightseeing transportation water is a subattribute of scenic and sightseeing transportation

antecedent

(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ScenicAndSightseeingTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?TRANS ?VEH)
                            (and
                                (instance ?TRANS Transportation)
                                (instance ?TRANS RecreationOrExercise)
                                (patient ?TRANS ?P)
                                (possesses ?ORG ?VEH)
                                (instance ?VEH Vehicle))) ?MEM ?P))))))

naics.kif 8528-8549

If a collection is an instance of organization and scenic and sightseeing transportation is an attribute of the collection,
then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the entity is an instance of recreation or exercise and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of vehicle

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

KB Term:			Term intersection

English Word: