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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - betweenOnPath
betweenOnPath

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2122-2124
No TPTP formula. May not be expressible in strict first order. Merge.kif 4165-4169
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 775-778
No TPTP formula. May not be expressible in strict first order. Merge.kif 4173-4173 The number 1 argument of between on path is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4174-4174 The number 2 argument of between on path is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4175-4175 The number 3 argument of between on path is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4176-4176 The number 4 argument of between on path is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4172-4172 between on path is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4171-4171 between on path is an instance of spatial relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 276-276
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 275-275
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 274-274
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10907-10907
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10906-10906
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29777-29777
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10905-10905

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. Merge.kif 4178-4180

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1070-1090


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