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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7623-7628
No TPTP formula. May not be expressible in strict first order. Merge.kif 7619-7619 The number 1 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7620-7620 The number 2 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7621-7621 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 7615-7615 distance is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7616-7616 distance is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7617-7617 distance is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7618-7618 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 7664-7664 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 19927-19927
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19926-19926

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 1384-1403
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1362-1380
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1299-1322
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 11019-11029
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1262-1282
No TPTP formula. May not be expressible in strict first order. Merge.kif 17792-17807
No TPTP formula. May not be expressible in strict first order. Merge.kif 17751-17776
No TPTP formula. May not be expressible in strict first order. Merge.kif 7630-7632
No TPTP formula. May not be expressible in strict first order. Merge.kif 9709-9715

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4621-4629 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 7657-7662
No TPTP formula. May not be expressible in strict first order. Merge.kif 7634-7636
No TPTP formula. May not be expressible in strict first order. Geography.kif 1927-1935
No TPTP formula. May not be expressible in strict first order. Merge.kif 9717-9722
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 17480-17498
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17458-17476
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 4607-4613
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 1262-1282
No TPTP formula. May not be expressible in strict first order. Merge.kif 17792-17807
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 7679-7684
No TPTP formula. May not be expressible in strict first order. Merge.kif 7630-7632
No TPTP formula. May not be expressible in strict first order. Geography.kif 1919-1925
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 1420-1440

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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