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 1787-1788
No TPTP formula. May not be expressible in strict first order. Merge.kif 1784-1784 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 1785-1785 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 1779-1779 less than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1781-1781 less than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1782-1782 less than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Merge.kif 1780-1780 less than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1783-1783 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. Merge.kif 1798-1798 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 34127-34127
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34126-34126

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7240-7246 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 3058-3069 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 UnitOfCurrency 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 3009-3020 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 UnitOfCurrency 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 3022-3033 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 UnitOfCurrency 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 3071-3082 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 UnitOfCurrency 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. FinancialOntology.kif 782-787
No TPTP formula. May not be expressible in strict first order. Media.kif 3054-3075
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 758-774
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 337-343
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 264-269
No TPTP formula. May not be expressible in strict first order. Merge.kif 13636-13651
No TPTP formula. May not be expressible in strict first order. Merge.kif 13653-13666
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2666-2672
No TPTP formula. May not be expressible in strict first order. Merge.kif 13582-13591
No TPTP formula. May not be expressible in strict first order. Merge.kif 13593-13602
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 692-708
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. ComputingBrands.kif 3645-3658
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3671-3684

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


No TPTP formula. May not be expressible in strict first order. People.kif 264-290 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 1896-1900 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 1815-1819 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. Mid-level-ontology.kif 18163-18172
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18178-18188
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18194-18204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18210-18220
No TPTP formula. May not be expressible in strict first order. Dining.kif 1101-1109
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3695-3703
No TPTP formula. May not be expressible in strict first order. Merge.kif 2571-2576
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13096-13105
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13024-13033
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13035-13046
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12986-12996
No TPTP formula. May not be expressible in strict first order. Merge.kif 4870-4884
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4613-4617
No TPTP formula. May not be expressible in strict first order. Dining.kif 725-748
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 1943-1957
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 4448-4458
No TPTP formula. May not be expressible in strict first order. Merge.kif 10844-10857
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1931-1945
No TPTP formula. May not be expressible in strict first order. Dining.kif 507-516

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 6011-6018 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