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

Formal Language: 



KB Term:  Term intersection
English Word: 

  path

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 10948-10950
No TPTP formula. May not be expressible in strict first order. Merge.kif 10945-10945 The number 1 argument of path is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10946-10946 The number 2 argument of path is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 10940-10940 path is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 10941-10941 path is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 10944-10944 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 29167-29176
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 17176-17180
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 10952-10962

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 1192-1204
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 6256-6268
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 2325-2327
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2321-2323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15079-15085
No TPTP formula. May not be expressible in strict first order. Merge.kif 11402-11411
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1482-1490
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 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