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. Merge.kif 1881-1882
No TPTP formula. May not be expressible in strict first order. Merge.kif 1879-1880
No TPTP formula. May not be expressible in strict first order. Merge.kif 1877-1877 The number 1 argument of less than is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1878-1878 The number 2 argument of less than is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1872-1872 less than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1874-1874 less than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1875-1875 less than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Merge.kif 1873-1873 less than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1876-1876 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 97-97
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. portuguese_format.kif 44-44
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 42-42
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-tg.txt 325-325
No TPTP formula. May not be expressible in strict first order. Merge.kif 1892-1892 greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 142-142 "少于" is the printable form of less than in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6109-6109 "less than" is the printable form of less than in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 492-492 "«أقَل من»" is the printable form of less than in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 326-326 "meno ng" is the printable form of less than in tg

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6901-6907 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 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 2965-2973 There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the financial instrumentPrice is less than the other currency measure 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 2922-2930 There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the other currency measure 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 2932-2940 There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the financial instrumentPrice is less than the other currency measure 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 2975-2983 There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the other currency measure 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. FinancialOntology.kif 733-738
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 658-668
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 712-725
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 492-498
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 419-424
No TPTP formula. May not be expressible in strict first order. Merge.kif 13717-13732
No TPTP formula. May not be expressible in strict first order. Merge.kif 13734-13747
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2580-2586
No TPTP formula. May not be expressible in strict first order. Merge.kif 13661-13670
No TPTP formula. May not be expressible in strict first order. Merge.kif 13672-13681
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 692-700
No TPTP formula. May not be expressible in strict first order. Catalog.kif 415-427

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2308-2325 A relation is an instance of total valued relation and the relation is an instance of predicate if and only if there exists a positive integer such that the relation is an instance of relation and the relation %&has the positive integer argument(s) and
No TPTP formula. May not be expressible in strict first order. People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if a number is equal to the number of instances in the class described by a process and the number and 1000 is equal to a quantity and another number is equal to the number of instances in the class described by another process and the other number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1997-2001 A quantity is an instance of negative real number if and only if the quantity is less than 0 and the quantity is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1911-1915 A quantity is less than or equal to another quantity if and only if the quantity is equal to the other quantity or the quantity is less than the other quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15980-15988
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15994-16005
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16011-16022
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16028-16039
No TPTP formula. May not be expressible in strict first order. Dining.kif 1102-1110
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3583-3591
No TPTP formula. May not be expressible in strict first order. Merge.kif 2777-2782
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 253-262
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 184-193
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 194-205
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 151-159
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21793-21800
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5177-5181
No TPTP formula. May not be expressible in strict first order. Dining.kif 729-752
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1338-1347
No TPTP formula. May not be expressible in strict first order. Geography.kif 1881-1892
No TPTP formula. May not be expressible in strict first order. Weather.kif 504-510
No TPTP formula. May not be expressible in strict first order. Weather.kif 494-502
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5019-5026
No TPTP formula. May not be expressible in strict first order. Merge.kif 10782-10795
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1921-1929

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 6196-6203 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners