Fleet - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Fleet "Fleet")

Mid-level-ontology.kif 3507-3507

antecedent

(=> (and (instance ?FLEET Fleet) (fleetSize ?AGENT ?NUM) (possesses ?AGENT ?FLEET)) (memberCount ?FLEET ?NUM))	Mid-level-ontology.kif 3521-3526	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 3509-3511	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 3375-3382

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: