Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  distance

Sigma KEE - distance
distance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2655-2657
No TPTP formula. May not be expressible in strict first order. Merge.kif 7588-7593
No TPTP formula. May not be expressible in strict first order. Merge.kif 7584-7584 The number 1 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7585-7585 The number 2 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7586-7586 The number 3 argument of distance is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7580-7580 distance is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7581-7581 distance is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7582-7582 distance is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7583-7583 distance is an instance of total valued relation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 621-621
No TPTP formula. May not be expressible in strict first order. english_format.kif 624-624
No TPTP formula. May not be expressible in strict first order. Merge.kif 7629-7629 depth is a subrelation of distance
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 622-622
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19928-19928
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19927-19927

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 881-887
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1373-1391
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1352-1369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1289-1312
No TPTP formula. May not be expressible in strict first order. Geography.kif 844-857
No TPTP formula. May not be expressible in strict first order. Geography.kif 870-879
No TPTP formula. May not be expressible in strict first order. Geography.kif 859-868
No TPTP formula. May not be expressible in strict first order. Merge.kif 10952-10962
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1252-1272
No TPTP formula. May not be expressible in strict first order. Merge.kif 17678-17693
No TPTP formula. May not be expressible in strict first order. Merge.kif 17637-17662
No TPTP formula. May not be expressible in strict first order. Merge.kif 7595-7597
No TPTP formula. May not be expressible in strict first order. Merge.kif 9670-9676

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4610-4618 Open sea is an attribute of an object if and only if the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between a physical and the object is a real number nautical mile(s) and the real number is greater than 5.0
No TPTP formula. May not be expressible in strict first order. Merge.kif 7622-7627
No TPTP formula. May not be expressible in strict first order. Merge.kif 7599-7601
No TPTP formula. May not be expressible in strict first order. Geography.kif 1925-1933
No TPTP formula. May not be expressible in strict first order. Merge.kif 9678-9683
No TPTP formula. May not be expressible in strict first order. Cars.kif 1943-1965
No TPTP formula. May not be expressible in strict first order. emotion.kif 1401-1419
No TPTP formula. May not be expressible in strict first order. emotion.kif 1435-1453
No TPTP formula. May not be expressible in strict first order. Military.kif 759-769
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17054-17071
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17033-17050
No TPTP formula. May not be expressible in strict first order. Weather.kif 693-706
No TPTP formula. May not be expressible in strict first order. Geography.kif 4596-4602
No TPTP formula. May not be expressible in strict first order. Cars.kif 751-768
No TPTP formula. May not be expressible in strict first order. Cars.kif 737-749
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1252-1272
No TPTP formula. May not be expressible in strict first order. Merge.kif 17678-17693
No TPTP formula. May not be expressible in strict first order. Weather.kif 2727-2747
No TPTP formula. May not be expressible in strict first order. Weather.kif 2749-2770
No TPTP formula. May not be expressible in strict first order. Weather.kif 2708-2725
No TPTP formula. May not be expressible in strict first order. Merge.kif 7644-7649
No TPTP formula. May not be expressible in strict first order. Merge.kif 7595-7597
No TPTP formula. May not be expressible in strict first order. Geography.kif 1917-1923
No TPTP formula. May not be expressible in strict first order. Geography.kif 832-835
No TPTP formula. May not be expressible in strict first order. Weather.kif 1419-1439

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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