Fleet - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Fleet "Fleet")

Mid-level-ontology.kif 3580-3580

antecedent

(=> (and (instance ?FLEET Fleet) (fleetSize ?AGENT ?NUM) (possesses ?AGENT ?FLEET)) (memberCount ?FLEET ?NUM))	Mid-level-ontology.kif 3594-3599	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 3582-3584	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 4460-4467

If an agent is an instance of Airline,
then there exist a collection and a physical such that the collection is an instance of Fleet and the agent possesses the collection and the physical is an instance of aircraft and the physical 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: