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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Artifact

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 15413-15414
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10443-10443
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10445-10445
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9899-9899
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10444-10444
No TPTP formula. May not be expressible in strict first order. Merge.kif 15412-15412 Artifact is a subclass of object

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3310-3310 Natural satellite is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 14095-14095 Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6655-6655 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 15570-15570 Art work is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3951-3951 Bed frame is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4017-4017 Bed linen is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4479-4479 Board or block is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4145-4145 Boat deck is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Cars.kif 4385-4385 Chain is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Cars.kif 4427-4427 Chain link is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15670-15670 Device is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3309-3309 Display artifact is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25774-25774 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 15610-15610 Fabric is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3646-3646 Furniture is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16419-16419 Game artifact is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25864-25864 Grab bar is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Cars.kif 4692-4692 Vehicle interior is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Geography.kif 5598-5598 Irrigation channel is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14577-14577 Ladder is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1460-1460 Mast is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3931-3931 Mattress is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17245-17245 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 23705-23705 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 3888-3888 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 15436-15436 The number 1 argument of version is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15437-15437 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 15416-15421

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30418-30423
No TPTP formula. May not be expressible in strict first order. Economy.kif 4790-4810
No TPTP formula. May not be expressible in strict first order. Merge.kif 12585-12590
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12698-12704
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6522-6529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26409-26414
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26111-26120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3970-3989
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25619-25633
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26091-26104
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1695-1699


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