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 10954-10956
No TPTP formula. May not be expressible in strict first order. Merge.kif 10951-10951 The number 1 argument of path is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10952-10952 The number 2 argument of path is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 10946-10946 path is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 10947-10947 path is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 10950-10950 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. chinese_format.kif 576-576
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44742-44742
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44741-44741

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29191-29200
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1390-1400
No TPTP formula. May not be expressible in strict first order. Cars.kif 3896-3906
No TPTP formula. May not be expressible in strict first order. Cars.kif 3908-3924
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 260-267
No TPTP formula. May not be expressible in strict first order. Sports.kif 246-253
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 17200-17204
No TPTP formula. May not be expressible in strict first order. Cars.kif 4049-4064
No TPTP formula. May not be expressible in strict first order. Merge.kif 10958-10968

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 1196-1208
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 2949-2954
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2956-2964
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6260-6272
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 2667-2672
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2644-2650
No TPTP formula. May not be expressible in strict first order. Sports.kif 1035-1044
No TPTP formula. May not be expressible in strict first order. Sports.kif 1074-1082
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. Cars.kif 2690-2703
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. Geography.kif 5480-5485
No TPTP formula. May not be expressible in strict first order. Cars.kif 3821-3837
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2329-2331
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2325-2327
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15103-15109
No TPTP formula. May not be expressible in strict first order. Merge.kif 11408-11417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1486-1494
No TPTP formula. May not be expressible in strict first order. Communications.kif 185-200

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