Object(object) | ![]() | acantha, accessory, add-on, adulterator, agent, air_mass, alluvial_deposit, alluvial_sediment, alluvion, alluvium, antimatter, appendage, appendicle, appurtenance, archeological_remains, arm, assay, attachment, backup, ballast, barreled, barrelled, base, basic, bed, bezel, bight, bit, block, blockage, bodily, bond, border, bottom, branch, building_block, burden, bushing, catch, cell, chip, clog, closed_universe, closure, coast, coffee_grounds, communication, composition, computer_backup, conjunction... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1552-1554 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 847-852 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 122-125 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 141-145 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1204-1204 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 846-846 | Object is a subclass of physical |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 833-833 | Physical is exhaustively partitioned into object and process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9950-9950 | The range of hole host is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10091-10091 | The range of hole skin is an instance of object |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2626-2626 | The range of line is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9853-9853 | The range of mereological difference is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9832-9832 | The range of mereological product is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9810-9810 | The range of mereological sum is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1776-1776 | The values returned by attr are subclasses of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18394-18394 | The values returned by Making fn are subclasses of object |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5250-5250 | The values returned by organic object fn are subclasses of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15703-15703 | Artifact is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14044-14044 | Astronomical body is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1556-1556 | Agent is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1261-1261 | Collection is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24552-24552 | Contact site is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3874-3874 | Magnet is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1251-1251 | Region is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 862-862 | Self connected object is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2096-2096 | Shrapnel is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25599-25599 | Spherical object is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2064-2064 | Tornado damage is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15249-15249 | Transitway obstacle is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4797-4797 | Two dimensional object is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 815-815 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1276-1276 | The number 3 argument of Acceleration fn is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7648-7648 | The number 1 argument of center of circle is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4938-4938 | The number 1 argument of diameter is an instance of object |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2624-2624 | The number 1 argument of line is an instance of object |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2625-2625 | The number 2 argument of line is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9851-9851 | The number 1 argument of mereological difference is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9852-9852 | The number 2 argument of mereological difference is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9830-9830 | The number 1 argument of mereological product is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9831-9831 | The number 2 argument of mereological product is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9808-9808 | The number 1 argument of mereological sum is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9809-9809 | The number 2 argument of mereological sum is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4957-4957 | The number 1 argument of radius is an instance of object |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 870-870 | The number 1 argument of absorbed dose is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 936-936 | The number 1 argument of adjacent orientation is an instance of object |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 184-184 | The number 1 argument of advertised on is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25661-25661 | The number 1 argument of air temperature is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31359-31359 | The number 1 argument of allowable value is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Music.kif 357-357 | The number 2 argument of anthem is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31372-31372 | The number 1 argument of applicable relation is an instance of object |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1926-1926 | The number 1 argument of ask price is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1720-1720 | The number 1 argument of attribute is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17464-17464 | The number 1 argument of axis is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17465-17465 | The number 2 argument of axis is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7838-7838 | The number 1 argument of barometric pressure is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29757-29757 | The number 1 argument of before on path is an instance of object |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |