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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lessThan
lessThan

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1729-1730
No TPTP formula. May not be expressible in strict first order. Merge.kif 1839-1840
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 337-338
No TPTP formula. May not be expressible in strict first order. Merge.kif 1836-1836 The number 1 argument of less than is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1837-1837 The number 2 argument of less than is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1831-1831 less than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1833-1833 less than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1834-1834 less than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Merge.kif 1832-1832 less than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1835-1835 less than is trichotomizing on real number

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 141-141
No TPTP formula. May not be expressible in strict first order. english_format.kif 142-142
No TPTP formula. May not be expressible in strict first order. french_format.kif 92-92
No TPTP formula. May not be expressible in strict first order. relations-it.txt 163-163
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1919-1919
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 44-44
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 76-76
No TPTP formula. May not be expressible in strict first order. relations-de.txt 172-172
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 202-202
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 111-111
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 91-91
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 325-325
No TPTP formula. May not be expressible in strict first order. Merge.kif 1850-1850 greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 142-142
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34144-34144
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34143-34143
No TPTP formula. May not be expressible in strict first order. terms-de.txt 52-52
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 326-326

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7524-7530 A self connected object is an instance of liquid drop and the approximate diameter of the self connected object is a real number micrometer(s) and 500.0 is less than the real number if and only if the self connected object is an instance of droplet
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3051-3062 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an out of the money of the agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3002-3013 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an in the money of the agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3015-3026 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an in the money of the agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3064-3075 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement
No TPTP formula. May not be expressible in strict first order. Medicine.kif 367-385
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 783-788
No TPTP formula. May not be expressible in strict first order. Media.kif 3068-3089
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. Mid-level-ontology.kif 342-348
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 269-274
No TPTP formula. May not be expressible in strict first order. Merge.kif 13863-13878
No TPTP formula. May not be expressible in strict first order. Merge.kif 13880-13893
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2667-2673
No TPTP formula. May not be expressible in strict first order. Merge.kif 13809-13818
No TPTP formula. May not be expressible in strict first order. Merge.kif 13820-13829
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 694-710
No TPTP formula. May not be expressible in strict first order. Catalog.kif 430-445
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5968-5982
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5950-5962
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3682-3695
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3708-3721
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1240-1246

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


No TPTP formula. May not be expressible in strict first order. People.kif 238-264 A year is an instance of the year an integer and the deaths per thousand live births of a geopolitical area and the year is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to another real number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1948-1952 A real number is an instance of negative real number if and only if the real number is less than 0 and the real number is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1867-1871 A real number is less than or equal to another real number if and only if the real number is equal to the other real number or the real number is less than the other real number
No TPTP formula. May not be expressible in strict first order. Medicine.kif 172-187
No TPTP formula. May not be expressible in strict first order. Medicine.kif 155-170
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18728-18737
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18743-18753
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18759-18769
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18775-18785
No TPTP formula. May not be expressible in strict first order. Dining.kif 1148-1156
No TPTP formula. May not be expressible in strict first order. Merge.kif 2623-2628
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13577-13586
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13505-13514
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13516-13527
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13467-13477
No TPTP formula. May not be expressible in strict first order. Merge.kif 4958-4972
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4868-4872
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. Transportation.kif 1391-1400
No TPTP formula. May not be expressible in strict first order. Geography.kif 1940-1954
No TPTP formula. May not be expressible in strict first order. Weather.kif 892-898
No TPTP formula. May not be expressible in strict first order. Weather.kif 882-890
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4698-4708
No TPTP formula. May not be expressible in strict first order. Merge.kif 10961-10974
No TPTP formula. May not be expressible in strict first order. Medicine.kif 620-630

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6099-6106 There don't exist a graph path and another graph path such that the graph path is an instance of the set of paths that partition a graph into two separate graphs and the other graph path is an instance of the set of minimal paths that partition the graph into two separate graphs and the length of the graph path is a positive integer and the length of the other graph path is another positive integer and the positive integer is less than the other positive integer


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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