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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - path
path

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3000-3001
No TPTP formula. May not be expressible in strict first order. Merge.kif 11078-11080
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1762-1764
No TPTP formula. May not be expressible in strict first order. Merge.kif 11075-11075 The number 1 argument of path is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11076-11076 The number 2 argument of path is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 11070-11070 path is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 11071-11071 path is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11074-11074 path is a subrelation of event partly located

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 575-575
No TPTP formula. May not be expressible in strict first order. english_format.kif 580-580
No TPTP formula. May not be expressible in strict first order. french_format.kif 341-341
No TPTP formula. May not be expressible in strict first order. relations-it.txt 216-216
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2097-2097
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 293-293
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 349-349
No TPTP formula. May not be expressible in strict first order. relations-de.txt 755-755
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 254-254
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 363-363
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 378-378
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 408-408
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 576-576
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44765-44765
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44764-44764

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29779-29788
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1422-1432
No TPTP formula. May not be expressible in strict first order. Medicine.kif 620-630
No TPTP formula. May not be expressible in strict first order. Cars.kif 3893-3903
No TPTP formula. May not be expressible in strict first order. Cars.kif 3905-3921
No TPTP formula. May not be expressible in strict first order. Cars.kif 1070-1090
No TPTP formula. May not be expressible in strict first order. Sports.kif 295-302
No TPTP formula. May not be expressible in strict first order. Sports.kif 281-288
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1259-1263
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17784-17788
No TPTP formula. May not be expressible in strict first order. Cars.kif 4046-4061
No TPTP formula. May not be expressible in strict first order. Merge.kif 11082-11092

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 871-885
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2003-2012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1235-1247
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1609-1613
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2942-2947
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2949-2957
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6595-6607
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2653-2658
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2660-2665
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2637-2643
No TPTP formula. May not be expressible in strict first order. Sports.kif 1107-1116
No TPTP formula. May not be expressible in strict first order. Medicine.kif 491-503
No TPTP formula. May not be expressible in strict first order. Sports.kif 1146-1154
No TPTP formula. May not be expressible in strict first order. Medicine.kif 548-564
No TPTP formula. May not be expressible in strict first order. Cars.kif 2665-2673
No TPTP formula. May not be expressible in strict first order. Cars.kif 2843-2872
No TPTP formula. May not be expressible in strict first order. Cars.kif 3020-3028
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15622-15637
No TPTP formula. May not be expressible in strict first order. Cars.kif 2690-2703
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1078-1085
No TPTP formula. May not be expressible in strict first order. Cars.kif 3262-3277
No TPTP formula. May not be expressible in strict first order. Medicine.kif 730-740
No TPTP formula. May not be expressible in strict first order. Geography.kif 5582-5588
No TPTP formula. May not be expressible in strict first order. Cars.kif 3818-3834
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2370-2372

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