TreeView Knowledge Base Browser - betweenOnPath

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	域在路徑之間, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4174-4174	域在路徑之間, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4175-4175	域在路徑之間, 3 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4176-4176	域在路徑之間, 4 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4172-4172	例在路徑之間 and QuaternaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4171-4171	例在路徑之間 and SpatialRelation

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	Object 對於 Object between 在路徑 Object 例 Transfer and Transfer 路徑 Transfer and Object 起源 Transfer and Object 目的地 Transfer and Object beforeOnPath Object, Object, Object and Transfer beforeOnPath Object, Object, Object and Transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4178-4180	Object 對於 Object between 在路徑 Object 之間 Object, Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 1070-1090

例 Object and FuelPump 例 Object and 汽車部分 Object and Object 例 Motion and Transportation 例 Process and 汽油患者 Motion and Process 儀器 Process and Object 例 Object and GasTank 部分 Object and Object 例 Object and EngineCylinder 部分 Object and Object 起源 Motion and Object 目的地 Motion and Object 路徑 Motion and Object
有目的 Motion and ProcessF 例 ProcessF and FuelFilter Object 對於 Object between 在路徑 ProcessF

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