Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  destination

Sigma KEE - destination
destination

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1868-1871
No TPTP formula. May not be expressible in strict first order. Merge.kif 2448-2454
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 491-495
No TPTP formula. May not be expressible in strict first order. Merge.kif 2444-2444 终点 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2445-2445 终点 的 2 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2442-2442 终点格角色instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2443-2443 终点部分值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2446-2446 终点参与活动subrelation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 93-93
No TPTP formula. May not be expressible in strict first order. english_format.kif 93-93
No TPTP formula. May not be expressible in strict first order. french_format.kif 69-69
No TPTP formula. May not be expressible in strict first order. relations-it.txt 71-71
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1895-1895
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 21-21
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 105-105
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 81-81
No TPTP formula. May not be expressible in strict first order. relations-de.txt 104-104
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 112-112
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 88-88
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 68-68
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 158-158
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19272-19272
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 94-94
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19271-19271
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19270-19270
No TPTP formula. May not be expressible in strict first order. terms-de.txt 29-29
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 159-159

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1818-1828 过程退出instance 金融账户金融账户instance那个 金融账户currency那个 过程 的源头 和 不存在 另一个 过程 这样 那个 另外 过程罚款instance那个 另外 过程那个 金融账户currency 结束 和 那个 过程 causes 那个 另外 过程 若且唯若 那个 金融账户liqudity高流动性
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29779-29788
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-172
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Cars.kif 2585-2603
No TPTP formula. May not be expressible in strict first order. Hotel.kif 841-862
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. Medicine.kif 6447-6459
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29620-29632
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3759-3784
No TPTP formula. May not be expressible in strict first order. Dining.kif 772-795
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 759-775
No TPTP formula. May not be expressible in strict first order. Music.kif 1256-1264
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18679-18695
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
No TPTP formula. May not be expressible in strict first order. Dining.kif 586-602
No TPTP formula. May not be expressible in strict first order. Merge.kif 11656-11666
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21512-21517
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 171-177
No TPTP formula. May not be expressible in strict first order. Dining.kif 552-561
No TPTP formula. May not be expressible in strict first order. Dining.kif 564-569
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 228-235
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23583-23589
No TPTP formula. May not be expressible in strict first order. Merge.kif 11587-11592

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7727-7733 施事体 有认知的主事customer 若且唯若 有存在 过程 这样 那个 过程金融交易instance那个 施事体那个 过程agent那个 过程那个 有认知的主事 结束
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3635-3642 有认知的主事 对于 %3 的 customer 代表 若且唯若 有存在 过程 这样 那个 过程金融交易instance 机构 employs 那个 有认知的主事那个 有认知的主事那个 过程agent那个 过程另一个 有认知的主事 结束
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16852-16861
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 487-499
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 655-667
No TPTP formula. May not be expressible in strict first order. Music.kif 408-419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20601-20623
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1261-1271
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-172
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3545-3550
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2392-2407
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 807-816
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1347-1358
No TPTP formula. May not be expressible in strict first order. Cars.kif 2567-2583
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11141-11151
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 354-365
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1212-1222
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 686-699
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 701-714
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 759-775
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1043-1052
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1115-1124
No TPTP formula. May not be expressible in strict first order. Medicine.kif 44-59

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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