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


KB Term:  Term intersection
English Word: 

Sigma KEE - MachNumber
MachNumber(Mach number)

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


(instance MachNumber CompositeUnitOfMeasure) Transportation.kif 5215-5215 Mach number is an instance of composite unit of measure
(documentation MachNumber EnglishLanguage "MachNumber is a measure of the compressbility characteristics of Fluid flow. It is a dimensionless Quantity in Fluid dynamics representing the ratio of air speed to the local speedOfSound. When the speed of sound is known, the Mach number at which an aircraft is flying can be calculated by the equation of M = u / c , where M is the Mach number, u is the velocity of the moving aircraft and c is the speed of sound at the given altitude and temperature. [Wikipedia]") Transportation.kif 5216-5222 Mach number is an instance of composite unit of measure

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


(termFormat EnglishLanguage MachNumber "Mach number") Transportation.kif 5223-5223

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


(=>
    (and
        (instance ?F Flying)
        (patient ?F ?A)
        (instance ?A Aircraft)
        (path ?F ?R)
        (distanceOnPath ?L ?R)
        (duration
            (WhenFn ?F) ?D)
        (speedOfSound ?Q ?R
            (WhenFn ?F))
        (holdsDuring
            (WhenFn ?F)
            (measure ?A
                (MeasureFn ?M MachNumber))))
    (equal ?M
        (DivisionFn
            (SpeedFn ?L ?D) ?Q)))		 Transportation.kif 5225-5237 If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of aircraft (4) Z is path along which X occurs (5) the distance of Z is W (6) duration of the time of existence of X is V (7) the speedOfSound for U at Z is U (8) the measure of Y is T Mach number(s) holds during the time of existence of X, then equal T, W per V, and U
(=>
    (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

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


(=>
    (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
(=>
    (and
        (instance ?A Aircraft)
        (attribute ?A Hypersonic))
    (modalAttribute
        (exists (?F)
            (and
                (instance ?F Flying)
                (patient ?F ?A)
                (holdsDuring
                    (WhenFn ?F)
                    (exists (?M)
                        (and
                            (measure ?A
                                (MeasureFn ?M MachNumber))
                            (greaterThan ?M 5)))))) Possibility))		 Transportation.kif 5281-5295 If X is an instance of aircraft and Hypersonic 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 5 holds during the time of existence of Y has the modal force of possibility


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