TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2403-2404
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6244-6245
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1086-1087
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8571-8571
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6242-6242	Mesure de longueur est une sous-classe de quantit� constante

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4858-4858	Le domaine de DatumFn est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4950-4950	Le domaine de DiameterFn est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4964-4964	Le domaine de RadiusFn est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1498-1498	AltitudeMeasure est une sous-classe de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1303-1303
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1823-1823
No TPTP formula. May not be expressible in strict first order.	french_format.kif 981-981
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 516-516
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 520-520
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2665-2665
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 933-933
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 556-556
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 1002-1002
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 521-521

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6657-6657	Le nombre 1 argument de SpeedFn est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6668-6668	Le nombre 1 argument de VelocityFn est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7704-7704	Le nombre 3 argument de altitude est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17942-17942	Le nombre 2 argument de approximateDiameter est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1307-1307	Le nombre 3 argument de averageRainfallForPeriod est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 212-212	Le nombre 2 argument de caliber est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31134-31134	Le nombre 2 argument de circumfrence est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1536-1536	Le nombre 2 argument de cylinderBore est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13361-13361	Le nombre 2 argument de defaultMaximumHeight est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13427-13427	Le nombre 2 argument de defaultMaximumLength est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13481-13481	Le nombre 2 argument de defaultMaximumSphereRadius est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13394-13394	Le nombre 2 argument de defaultMaximumWidth est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13345-13345	Le nombre 2 argument de defaultMinimumHeight est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13411-13411	Le nombre 2 argument de defaultMinimumLength est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13462-13462	Le nombre 2 argument de defaultMinimumSphereRadius est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13378-13378	Le nombre 2 argument de defaultMinimumWidth est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7664-7664	Le nombre 2 argument de diameter est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7682-7682	Le nombre 3 argument de distance est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1388-1388	Le nombre 2 argument de effectiveRange est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1892-1892	Le nombre 2 argument de elevation est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17976-17976	Le nombre 3 argument de geometricDistance est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7551-7551	Le nombre 2 argument de height est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5012-5012	Le nombre 3 argument de highTide est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2677-2677	Le nombre 2 argument de ladenDraft est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 175-175	Le nombre 2 argument de lengthOfBroadGaugeRailway est une instance de mesure de longueur

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 4081-4113

Objet est une instance de BimetalTemperatureSensor objet est une instance de m�tal objet est une instance de m�tal objet est objet objet est une partie de objet objet est une partie de objet entit� est une instance de mesure de temperature entit� est une instance de mesure de temperature nombre r�el est une instance de mesure de longueur nombre r�el est une instance de mesure de longueur nombre r�el est une instance de mesure de longueur nombre r�el est une instance de mesure de longueur entit� est entit� position temporel est position temporel la mesure de objet est entit� la mesure de objet est nombre r�el la mesure de objet est nombre r�el pendant position temporel la mesure de objet est entit� la mesure de objet est nombre r�el la mesure de objet est nombre r�el pendant position temporel
nombre r�el + nombre r�el est nombre r�el + nombre r�el

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6358-6362	Nombre r�el unit� de mesure(s) est quantit� physique unit� de mesure est une instance de UnitOfLength quantit� physique est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Food.kif 1063-1073	Attribut est une instance de CoffeeGrindAttribute attribut est un attribut de objet objet est une instance de CoffeeGrind nombre r�el quantit� physique grainSize objet and nombre r�el quantit� physique est une instance de mesure de longueur quantit� physique est nombre r�el Millimeter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1305-1310	Physique est une instance de Runway mesure de longueur mesure de longueur est une instance de mesure de longueur le longueur de physique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Geography.kif 830-835	Physique est une instance de UniformPerimeterArea mesure de longueur mesure de longueur est une instance de mesure de longueur la largeur de physique est mesure de longueur

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: