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 7310-7315
No TPTP formula. May not be expressible in strict first order. Merge.kif 7306-7306 The number 1 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7307-7307 The number 2 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7308-7308 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 7302-7302 distance is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7303-7303 distance is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7304-7304 distance is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7305-7305 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 627-627
No TPTP formula. May not be expressible in strict first order. Merge.kif 7351-7351 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 873-879
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1355-1373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1334-1351
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1271-1294
No TPTP formula. May not be expressible in strict first order. Geography.kif 836-849
No TPTP formula. May not be expressible in strict first order. Geography.kif 862-871
No TPTP formula. May not be expressible in strict first order. Geography.kif 851-860
No TPTP formula. May not be expressible in strict first order. Merge.kif 10387-10398
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1234-1254
No TPTP formula. May not be expressible in strict first order. Merge.kif 7317-7319

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4506-4514 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
No TPTP formula. May not be expressible in strict first order. Merge.kif 9210-9216 The width of a self connected object is a length measure if and only if there exist another self connected object and a third self connected object such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the distance between the other self connected object and the third self connected object is the length measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7344-7349
No TPTP formula. May not be expressible in strict first order. Merge.kif 7321-7323
No TPTP formula. May not be expressible in strict first order. Geography.kif 1893-1901
No TPTP formula. May not be expressible in strict first order. Merge.kif 9218-9223
No TPTP formula. May not be expressible in strict first order. Cars.kif 1957-1979
No TPTP formula. May not be expressible in strict first order. emotion.kif 1375-1393
No TPTP formula. May not be expressible in strict first order. emotion.kif 1409-1427
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 14242-14259
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14221-14238
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 4494-4498
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 1234-1254
No TPTP formula. May not be expressible in strict first order. Weather.kif 2721-2741
No TPTP formula. May not be expressible in strict first order. Weather.kif 2743-2764
No TPTP formula. May not be expressible in strict first order. Weather.kif 2702-2719
No TPTP formula. May not be expressible in strict first order. Merge.kif 7366-7371
No TPTP formula. May not be expressible in strict first order. Merge.kif 7317-7319
No TPTP formula. May not be expressible in strict first order. Geography.kif 1885-1891
No TPTP formula. May not be expressible in strict first order. Geography.kif 824-827
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 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