TreeView Knowledge Base Browser - orderFor

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - orderFor

orderFor

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1968-1969
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1965-1965	域訂購給, 1 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1967-1967	域訂購給, 3 and 安全
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1966-1966	域子類訂購給, 2 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1964-1964	例訂購給 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1855-1855
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1854-1854
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1853-1853
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42456-42456
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42455-42455
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42454-42454

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Buying 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格例 UnitOfMeasure and UnitOfCurrency AutonomousAgent 為了安全 asks 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 AutonomousAgent and SymbolicStringingTime and 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Selling 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格 AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於安全例 UnitOfMeasure and UnitOfCurrency 大於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 SymbolicStringingTime and AutonomousAgent and 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1981-1990	attribute FinancialTransaction and 市場秩序 attribute 協議 and 經紀人協議是 FinancialTransaction 的 party 協議 FinancialTransaction 是對於安全的 order FinancialTransaction 持有義務卡帕 SymbolicString and 例 SymbolicString and FinancialTransaction 患者 SymbolicString and 安全 and 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1971-1979	例 FinancialTransaction and 正在下單 FinancialTransaction 是對於安全的 order FinancialTransaction 有目的 FinancialTransaction and entity 例 entity and FinancialTransaction 患者 entity and 安全

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