betweenOnPath - Sigma Knowledge base Browser

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 4161-4165
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 4169-4169	域在路徑之間, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4170-4170	域在路徑之間, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4171-4171	域在路徑之間, 3 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4172-4172	域在路徑之間, 4 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4168-4168	例在路徑之間 and QuaternaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4167-4167	例在路徑之間 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 10920-10920
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10919-10919
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31416-31416
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10918-10918

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31418-31427	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 4174-4176	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3802-3814	例 Object and 臨時路口公交專用道 Region, Region, 公交專用道, Region and Region 例公交專用道 and 公交專用道公交專用道 route 對於 Region 在 Region 之間例公交專用道 and 公交專用道公交專用道 route 對於 Region 在 Region 之間等於公交專用道 and 公交專用道 Region 對於 Region between 在路徑 Object Region 對於 Region between 在路徑 Object 連接 Object, 公交專用道 and 公交專用道

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