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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PositiveInteger

Sigma KEE - PositiveInteger
PositiveInteger

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1754-1754
No TPTP formula. May not be expressible in strict first order. Merge.kif 1997-1997
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 363-363
No TPTP formula. May not be expressible in strict first order. Merge.kif 1994-1994 子類 PositiveInteger and NonnegativeInteger
No TPTP formula. May not be expressible in strict first order. Merge.kif 1995-1995 子類 PositiveInteger and PositiveRealNumber

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 872-872
No TPTP formula. May not be expressible in strict first order. english_format.kif 946-946
No TPTP formula. May not be expressible in strict first order. french_format.kif 548-548
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 78-78
No TPTP formula. May not be expressible in strict first order. terms-it.txt 81-81
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2233-2233
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 500-500
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 83-83
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 115-115
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 569-569
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 82-82

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 8588-8588 , 1 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Merge.kif 15509-15509 , 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Merge.kif 2978-2978 清單順序, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Merge.kif 4976-4976 日誌, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14663-14663 定期發行, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Merge.kif 8968-8968 QuarterFn, 1 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Merge.kif 8666-8666 第二, 1 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14618-14618 系列卷, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Merge.kif 8950-8950 WeekFn, 1 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3440-3440 帳號, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Economy.kif 2243-2243 按等級劃分的農產品類型, 3 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Merge.kif 13773-13773 原子數, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3457-3457 支票號碼, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1209-1209 數據流鬆弛, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Merge.kif 209-209 , 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Merge.kif 231-231 域子類, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21709-21709 電子數, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Economy.kif 2324-2324 按等級出口商品類型, 3 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Economy.kif 2503-2503 按排名出口合作夥伴, 3 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Economy.kif 2491-2491 出口合作夥伴按期間排名, 3 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6700-6700 人的能力, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Economy.kif 2620-2620 按等級進口商品類型, 3 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Economy.kif 2696-2696 按等級進口合作夥伴, 3 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Economy.kif 2684-2684 按期間排名的進口夥伴, 3 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Economy.kif 1588-1588 按輸出排名行業, 3 and PositiveInteger

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3083-3102
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 799-817
No TPTP formula. May not be expressible in strict first order. Merge.kif 1999-2001


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