TreeView Knowledge Base Browser - beforeOnPath

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - beforeOnPath

beforeOnPath

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29755-29756
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29757-29757	域 beforeOnPath, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29758-29758	域 beforeOnPath, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29759-29759	域 beforeOnPath, 3 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29760-29760	域 beforeOnPath, 4 and Transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29761-29761	例 beforeOnPath and QuaternaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29762-29762	例 beforeOnPath and SpatialRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29764-29764
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65786-65786

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29767-29776	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.	Cars.kif 4054-4069	例 Object and Tailpipe 例 ObjectR and Transfer 例 Entity and Exhaust 例 Object and 汽車例 ObjectES and AutomobileExhaustSystem 部分 Object and Object 路徑 ObjectR and Object 患者 ObjectR and Entity 有目的 Object and entity 部分 entity and Object beforeOnPath Object, entity, ObjectES and ObjectR
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29789-29798	方位 Object, Object and 下游 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29811-29820	方位 Object, Object and 順風 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29778-29787	方位 Object, Object and 上游的 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29800-29809	方位 Object, Object and 上風 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object

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