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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Artifact
Artifact(artifact)
Aladdin's_lamp, Americana, Ark, Ark_of_the_Covenant, BB, BB_shot, Boston_rocker, Calvary_cross, Chinese_puzzle, Composite_order, Corinthian_order, Cuban_heel, Davis_Cup, Dixie_cup, Dorian_order, Doric_order, Dutch_door, Erlenmeyer_flask, Formica, French_door, French_heel, French_roof, French_window, Gladstone, Gladstone_bag, Gothic_arch, Holy_Grail, Ionian_order, Ionic_order, Jerusalem_cross, Jolly_Roger, Juggernaut, Kleenex, Klein_bottle, Latin_cross, Lilo, Mason_jar, Masonite, Menorah, Mobius_strip, Moorish_arch, Morris_chair, Nissen_hut, POB, PO_Box, Pandora's_box, Post-Office_box, Quaker_gun, Quonset_hut, Roman_arch...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3579-3579
No TPTP formula. May not be expressible in strict first order. Merge.kif 14563-14564
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10454-10454
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10456-10456
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9909-9909
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10455-10455
No TPTP formula. May not be expressible in strict first order. Merge.kif 14562-14562 Artifact is a subclass of object

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3269-3269 Natural satellite is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 13356-13356 Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6018-6018 Animal residence is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1609-1609 Armor is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 14720-14720 Art work is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3928-3928 Bed frame is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3993-3993 Bed linen is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4455-4455 Board or block is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4121-4121 Boat deck is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Cars.kif 4398-4398 Chain is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Cars.kif 4440-4440 Chain link is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 14820-14820 Device is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3286-3286 Display artifact is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22596-22596 Document is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Cars.kif 307-307 EngineCylinder is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 14760-14760 Fabric is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3623-3623 Furniture is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13583-13583 Game artifact is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22686-22686 Grab bar is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Cars.kif 4712-4712 Vehicle interior is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Geography.kif 5483-5483 Irrigation channel is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11841-11841 Ladder is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1438-1438 Mast is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3908-3908 Mattress is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14409-14409 Military artifact is a subclass of artifact

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. engineering.kif 1204-1204 The number 2 argument of engineers is an instance of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20567-20567 The number 1 argument of equipment type is an instance of artifact
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3896-3896 The number 1 argument of third party product is an instance of artifact
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1710-1710 The number 2 argument of power component is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 14586-14586 The number 1 argument of version is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 14587-14587 The number 2 argument of version is a subclass of artifact

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14566-14571

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27231-27236
No TPTP formula. May not be expressible in strict first order. Economy.kif 4632-4652
No TPTP formula. May not be expressible in strict first order. Merge.kif 11916-11921
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10027-10033
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5897-5904
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23231-23236
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22933-22942
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3947-3966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22441-22455
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22913-22926
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1673-1677


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