altitude - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - altitude

altitude

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2658-2660
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7773-7779
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1376-1379
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7769-7769	The number 1 argument of altitude is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7770-7770	The number 2 argument of altitude is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7771-7771	The number 3 argument of altitude is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7768-7768	altitude is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7766-7766	altitude is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7767-7767	altitude is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 609-609
No TPTP formula. May not be expressible in strict first order.	english_format.kif 612-612
No TPTP formula. May not be expressible in strict first order.	french_format.kif 369-369
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 23-23
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2103-2103
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 321-321
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 797-797
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 67-67
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 391-391
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 410-410
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 57-57
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 610-610
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7009-7009
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7008-7008
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7007-7007
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 235-235
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 63-63

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1462-1467	The altitude of an aircraft relative to a self connected object is an altitude measure and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if the altitude measure is the absolute height of the aircraft
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7785-7790	If the altitude of a self connected object relative to a physical is a length measure, then there exists another self connected object such that the top of the self connected object is the other self connected object and the distance between the other self connected object and the physical is the length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7781-7783	If the altitude of an object relative to another object is a length measure, then the object is above to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7762-7764	If the altitude of a physical relative to another physical is a length measure, then the distance between the physical and the other physical is the length measure

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2769-2774	An object is a length measure above the ground if and only if there exists a self connected object such that the altitude of the object relative to the self connected object is the length measure and the self connected object is a surface of planet earth
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1441-1451	If a process is an instance of measuring and a physical is a patient of the process and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of absolute altimeter, then there exists the physical2 such that the altitude of the physical relative to the physical2 is the length measure and the physical2 is a surface of planet earth
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1477-1484	If a process is an instance of measuring and a physical is a patient of the process and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of barometric altimeter, then the altitude of the physical relative to sea level is the length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4842-4847	If a self connected object is an instance of sea and the top of the self connected object is another self connected object, then the altitude of the other self connected object relative to sea level is 0.0 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4835-4840	If a self connected object is an instance of sea and the top of the self connected object is another self connected object, then the altitude of the other self connected object relative to sea level is 0.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1403-1423	If The waveHeight of a water wave a length measure., then there exist an object, another object,, , a third object and an unit of measure such that the object is an instance of body of water and the water wave is located at the object and the other object is a part of the object and the third object is a part of the object and the distance between the other object and the third object is the length measure and there don't exist a fourth object and the fourth objectH such that the fourth object is a part of the object and the altitude of the fourth object relative to the other object is the fourth objectH the unit of measure(s) and the fourth objectH is greater than 0.0 and there don't exist a fifth object and the fifth objectH such that the fifth object is a part of the object and the altitude of the third object relative to the fifth object is the fifth objectH the unit of measure(s) and the fifth objectH is greater than 0.0

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