Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. Hotel.kif 364-378
No TPTP formula. May not be expressible in strict first order. Catalog.kif 130-137
No TPTP formula. May not be expressible in strict first order. Catalog.kif 88-93
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21066-21080
No TPTP formula. May not be expressible in strict first order. Catalog.kif 98-107
No TPTP formula. May not be expressible in strict first order. Cars.kif 3389-3417
No TPTP formula. May not be expressible in strict first order. Dining.kif 1044-1059
No TPTP formula. May not be expressible in strict first order. Hotel.kif 419-438
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-538
No TPTP formula. May not be expressible in strict first order. Cars.kif 3482-3509
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30030-30060
No TPTP formula. May not be expressible in strict first order. Geography.kif 2280-2290
No TPTP formula. May not be expressible in strict first order. Hotel.kif 504-520
No TPTP formula. May not be expressible in strict first order. Hotel.kif 396-417
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1496-1518
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2630-2643
No TPTP formula. May not be expressible in strict first order. Hotel.kif 317-332
No TPTP formula. May not be expressible in strict first order. Cars.kif 3447-3476
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2692-2701
No TPTP formula. May not be expressible in strict first order. Merge.kif 3910-3916
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18401-18406
No TPTP formula. May not be expressible in strict first order. Cars.kif 3531-3552
No TPTP formula. May not be expressible in strict first order. Catalog.kif 139-150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23260-23267
No TPTP formula. May not be expressible in strict first order. Merge.kif 1622-1622 过程物理subclass
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1303-1303 AddToCart过程subclass
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1457-1457 Checkout过程subclass
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1587-1587 WatchItem过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7928-7928 LargeGroupProcess过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23764-23764 引起幸福过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23785-23785 导致不快乐过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30026-30026 BreakingRecord过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1319-1319 内容承载过程过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1633-1633 双受体过程过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1646-1646 SingleAgentProcess过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10482-10482 自然过程过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10486-10486 有意图过程过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11013-11013 运动过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12592-12592 内部变化过程subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 164-164 AgentPatientProcess过程subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2063-2063 发电过程subclass


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