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 1779-1780
No TPTP formula. May not be expressible in strict first order. Merge.kif 1776-1776 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 1777-1777 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 1771-1771 less than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1773-1773 less than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1774-1774 less than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Merge.kif 1772-1772 less than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1775-1775 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 1790-1790 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. Media.kif 3056-3077
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 335-341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 262-267
No TPTP formula. May not be expressible in strict first order. Merge.kif 13616-13631
No TPTP formula. May not be expressible in strict first order. Merge.kif 13633-13646
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2674-2680
No TPTP formula. May not be expressible in strict first order. Merge.kif 13562-13571
No TPTP formula. May not be expressible in strict first order. Merge.kif 13573-13582
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 425-440
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 257-281 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 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 1888-1892 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 1807-1811 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 18079-18088
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18094-18104
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18110-18120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18126-18136
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. Merge.kif 2563-2568
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13043-13052
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12971-12980
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12982-12993
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12933-12942
No TPTP formula. May not be expressible in strict first order. Merge.kif 4862-4876
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4595-4599
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 4432-4442
No TPTP formula. May not be expressible in strict first order. Merge.kif 10831-10844
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
No TPTP formula. May not be expressible in strict first order. Merge.kif 10811-10824

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 6003-6010 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