Fleet - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Fleet EnglishLanguage "A Collection of Vehicle")	Mid-level-ontology.kif 4052-4052
(subclass Fleet Collection)	Mid-level-ontology.kif 4051-4051	Fleet is a subclass of collection

appearance as argument number 2

(termFormat EnglishLanguage Fleet "Fleet")

Mid-level-ontology.kif 4053-4053

antecedent

(=> (and (instance ?FLEET Fleet) (fleetSize ?AGENT ?NUM) (possesses ?AGENT ?FLEET)) (memberCount ?FLEET ?NUM))	Mid-level-ontology.kif 4067-4072	If a collection is an instance of Fleet and an agent has a fleet of an integer vehicles and the agent possesses the collection, then the integer is a member count of the collection
(=> (instance ?FLEET Fleet) (memberType ?FLEET Vehicle))	Mid-level-ontology.kif 4055-4057	If a collection is an instance of Fleet, then vehicle is a member type of the collection

consequent

(=>
    (instance ?AIRLINE Airline)
    (exists (?FLEET ?AIRCRAFT)
        (and
            (instance ?FLEET Fleet)
            (possesses ?AIRLINE ?FLEET)
            (instance ?AIRCRAFT Aircraft)
            (member ?AIRCRAFT ?FLEET))))

Transportation.kif 3301-3308

If an agent is an instance of Airline,
then there exist a collection and an object such that the collection is an instance of Fleet and the agent possesses the collection and the object is an instance of aircraft and the object is a member of the collection

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: