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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lessThan

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 1752-1753
No TPTP formula. May not be expressible in strict first order. Merge.kif 1749-1749 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 1750-1750 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 1744-1744 less than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1746-1746 less than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1747-1747 less than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Merge.kif 1745-1745 less than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1748-1748 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 1763-1763 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 34068-34068
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34067-34067

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6983-6989 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 2966-2974 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 is 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 2923-2931 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 is 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 2933-2941 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 is 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 2976-2984 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 is 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 732-737
No TPTP formula. May not be expressible in strict first order. Media.kif 3038-3059
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 657-667
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 711-724
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 491-497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 418-423
No TPTP formula. May not be expressible in strict first order. Merge.kif 12869-12884
No TPTP formula. May not be expressible in strict first order. Merge.kif 12886-12899
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2645-2651
No TPTP formula. May not be expressible in strict first order. Merge.kif 12815-12824
No TPTP formula. May not be expressible in strict first order. Merge.kif 12826-12835
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 415-427
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3663-3673
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3686-3696

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2116-2133 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 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 a 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 number is equal to the real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1861-1865 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 1780-1784 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 16430-16438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16444-16455
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16461-16472
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16478-16489
No TPTP formula. May not be expressible in strict first order. Dining.kif 1098-1106
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3590-3598
No TPTP formula. May not be expressible in strict first order. Merge.kif 2529-2534
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11204-11213
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11135-11144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11145-11156
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11102-11110
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5182-5186
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 1380-1389
No TPTP formula. May not be expressible in strict first order. Geography.kif 1893-1904
No TPTP formula. May not be expressible in strict first order. Weather.kif 503-509
No TPTP formula. May not be expressible in strict first order. Weather.kif 493-501
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5024-5031
No TPTP formula. May not be expressible in strict first order. Merge.kif 10251-10264
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1932-1946
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 5795-5802 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 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