Fleet - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Fleet "Fleet")

Mid-level-ontology.kif 3957-3957

antecedent

(=> (and (instance ?FLEET Fleet) (fleetSize ?AGENT ?NUM) (possesses ?AGENT ?FLEET)) (memberCount ?FLEET ?NUM))	Mid-level-ontology.kif 3971-3976	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 3959-3961	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 4464-4471

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: