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


KB Term:  Term intersection
English Word: 

Sigma KEE - Supersonic
Supersonic

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


(instance Supersonic RelationalAttribute) Transportation.kif 5239-5239 Supersonic is an instance of relational attribute
(documentation Supersonic EnglishLanguage "Supersonic is a RelationalAttribute which describe the speed of an object that can travel faster than the speedOfSound or MachNumber greaterThan 1 and less than 5 MachNumber. Speeds greater than five times the speed of sound are often referred as Hypersonic. [Wikipedia] ") Transportation.kif 5240-5243 Supersonic is an instance of relational attribute

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


(termFormat EnglishGroupLanguage Supersonic "supersonic") Transportation.kif 5244-5244

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


(=>
    (and
        (instance ?A Aircraft)
        (attribute ?A Supersonic))
    (modalAttribute
        (exists (?F)
            (and
                (instance ?F Flying)
                (patient ?F ?A)
                (holdsDuring
                    (WhenFn ?F)
                    (exists (?M)
                        (and
                            (measure ?A
                                (MeasureFn ?M MachNumber))
                            (greaterThan ?M 1)))))) Possibility))		 Transportation.kif 5246-5260 If X is an instance of aircraft and Supersonic is an attribute of X, then the statement there exists Y such that Y is an instance of flying and X is a patient of Y and there exists Z such that the measure of X is Z Mach number(s) and Z is greater than 1 holds during the time of existence of Y has the modal force of possibility

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


(=>
    (instance ?F BoeingFA18EFSuperHornet)
    (attribute ?F Supersonic))		 Military.kif 269-271 If X is an instance of Boeing F/A-18E/F Super Hornet, then Supersonic is an attribute of X
(=>
    (and
        (instance ?F Flying)
        (patient ?F ?A)
        (instance ?A Aircraft)
        (holdsDuring
            (WhenFn ?F)
            (and
                (measure ?A
                    (MeasureFn ?M MachNumber))
                (greaterThan ?M 1)
                (lessThan ?M 5))))
    (attribute ?A Supersonic))		 Transportation.kif 5262-5273 If X is an instance of flying, Y is a patient of X, Y is an instance of aircraft, and the measure of Y is Z Mach number(s) and Z is greater than 1 and Z is less than 5 holds during the time of existence of X, then Supersonic is an attribute of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners