No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13998-13998	域 協議的一方, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5668-5668	域 病人醫療, 2 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16271-16271	域 原告, 2 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 807-807	域 potentialCustomer, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1881-1881	域 潛在的損失, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2686-2686	域 偏好, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 417-417	域 productPrice, 3 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 169-169	域 propositionOwner, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 334-334	域 publishedPrice, 3 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 456-456	域 rentalPrice, 3 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2845-2845	域 says, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22878-22878	域 服務提供者, 2 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22889-22889	域 服務接收者, 2 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2123-2123	域 股東, 2 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 278-278	域 簽名由, 2 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Music.kif 214-214	域 songArtist, 2 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Media.kif 1828-1828	域 states, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2218-2218	域 股票持有人, 2 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 399-399	域 unitPrice, 3 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2765-2765	域 想要, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23224-23224	域 工作地址, 2 and CognitiveAgent

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