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 7684-7689
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1372-1375
No TPTP formula. May not be expressible in strict first order. Merge.kif 7680-7680 The number 1 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7681-7681 The number 2 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7682-7682 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 7676-7676 distance is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7677-7677 distance is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7678-7678 distance is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7679-7679 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. french_format.kif 375-375
No TPTP formula. May not be expressible in strict first order. relations-it.txt 78-78
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2109-2109
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 327-327
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 112-112
No TPTP formula. May not be expressible in strict first order. relations-de.txt 815-815
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 118-118
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 397-397
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 417-417
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 171-171
No TPTP formula. May not be expressible in strict first order. Merge.kif 7725-7725 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 19937-19937
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19936-19936
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 172-172

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 874-880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1417-1436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1395-1413
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1332-1355
No TPTP formula. May not be expressible in strict first order. Geography.kif 837-850
No TPTP formula. May not be expressible in strict first order. Geography.kif 863-872
No TPTP formula. May not be expressible in strict first order. Geography.kif 852-861
No TPTP formula. May not be expressible in strict first order. Merge.kif 11082-11092
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1295-1315
No TPTP formula. May not be expressible in strict first order. Merge.kif 17947-17962
No TPTP formula. May not be expressible in strict first order. Merge.kif 17906-17931
No TPTP formula. May not be expressible in strict first order. Merge.kif 7691-7693
No TPTP formula. May not be expressible in strict first order. Merge.kif 9768-9774

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4711-4720 Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the 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 7718-7723
No TPTP formula. May not be expressible in strict first order. Merge.kif 7695-7697
No TPTP formula. May not be expressible in strict first order. Geography.kif 1922-1930
No TPTP formula. May not be expressible in strict first order. Merge.kif 9776-9781
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 1393-1411
No TPTP formula. May not be expressible in strict first order. emotion.kif 1427-1445
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 17638-17656
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17616-17634
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 4697-4703
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 1295-1315
No TPTP formula. May not be expressible in strict first order. Merge.kif 17947-17962
No TPTP formula. May not be expressible in strict first order. Weather.kif 2728-2748
No TPTP formula. May not be expressible in strict first order. Weather.kif 2750-2771
No TPTP formula. May not be expressible in strict first order. Weather.kif 2709-2726
No TPTP formula. May not be expressible in strict first order. Merge.kif 7740-7745
No TPTP formula. May not be expressible in strict first order. Merge.kif 7691-7693
No TPTP formula. May not be expressible in strict first order. Geography.kif 1914-1920
No TPTP formula. May not be expressible in strict first order. Geography.kif 825-828
No TPTP formula. May not be expressible in strict first order. Weather.kif 1420-1440

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