Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1Ra2Ra3En4In5Ra6In7RaFn

 Sigma KEE - Ambulance
Ambulance(ambulance)
ambulance

appearance as argument number 1
-------------------------


(subclass Ambulance EmergencyRoadVehicle) Transportation.kif 2058-2058 Ambulance is a subclass of emergency road vehicle
(documentation Ambulance EnglishLanguage "Ambulance is the subclass of EmergencyRoadVehicles that represents ambulances.") Transportation.kif 2059-2060 Ambulance is a subclass of emergency road vehicle
(externalImage Ambulance "http://articulatesoftware.com/SUMOpictures/transportation/ ambulance/ ambulance06.png") pictureList.kif 218-218 Ambulance is a subclass of emergency road vehicle
(externalImage Ambulance "http://upload.wikimedia.org/wikipedia/commons/ 5/ 56/ Rettungswagen_Oesterreich.jpg") pictureList.kif 4952-4952 Ambulance is a subclass of emergency road vehicle
(externalImage Ambulance "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Ambulance_p1030618.jpg") pictureList.kif 4953-4953 Ambulance is a subclass of emergency road vehicle
(externalImage Ambulance "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ LAFD_ambulance.jpg") pictureList.kif 4954-4954 Ambulance is a subclass of emergency road vehicle

appearance as argument number 2
-------------------------


(subclass AMEV Ambulance) MilitaryDevices.kif 2283-2283 M113A4 Armored Medical Evacuation Vehicle is a subclass of ambulance
(termFormat EnglishLanguage Ambulance "ambulance") domainEnglishFormat.kif 7127-7127 M113A4 Armored Medical Evacuation Vehicle is a subclass of ambulance
(termFormat ChineseTraditionalLanguage Ambulance "救護車") domainEnglishFormat.kif 7128-7128 M113A4 Armored Medical Evacuation Vehicle is a subclass of ambulance
(termFormat ChineseLanguage Ambulance "救护车") domainEnglishFormat.kif 7129-7129 M113A4 Armored Medical Evacuation Vehicle is a subclass of ambulance

antecedent
-------------------------


(=>
    (instance ?A Ambulance)
    (hasPurpose ?A
        (exists (?P ?T ?H)
            (and
                (instance ?P Human)
                (or
                    (attribute ?P DiseaseOrSyndrome)
                    (exists (?I)
                        (and
                            (instance ?I Injuring)
                            (experiencer ?I ?H)
                            (before ?I ?T))))
                (instance ?T Transportation)
                (instrument ?T ?A)
                (patient ?T ?H)))))		 Transportation.kif 2061-2076 If X is an instance of ambulance, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) disease or syndrome is an attribute of Y or there exists V such that V is an instance of injuring (4) W experiences V (5) V happens before Z (6) Z is an instance of transportation (7) X is an instrument for Z (8) W is a patient of Z

consequent
-------------------------


(=>
    (instance ?COMPANY AmbulanceCompany)
    (exists (?SERVICE ?AMB)
        (and
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?COMPANY)
            (instance ?SERVICE Transportation)
            (instrument ?SERVICE ?AMB)
            (instance ?AMB Ambulance))))		 Society.kif 363-371 If X is an instance of AmbulanceCompany, then there exist Y, Z such that Y is an instance of commercial service, X is an agent of Y, Y is an instance of transportation, Z is an instrument for Y, and Z is an instance of ambulance


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners