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 15832-15833
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10431-10431
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10433-10433
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9890-9890
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10432-10432
No TPTP formula. May not be expressible in strict first order. Merge.kif 15831-15831 Artifact is a subclass of object

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3546-3546 Natural satellite is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 14509-14509 Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8152-8152 Animal residence is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15989-15989 Art work is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6623-6623 Bandage is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4492-4492 Bed frame is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4565-4565 Bed linen is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5197-5197 Board or block is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4693-4693 Boat deck is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1424-1424 Butt stock is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. engineering.kif 920-920 Cantilever object is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Cars.kif 4443-4443 Chain is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Cars.kif 4485-4485 Chain link is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 16115-16115 Device is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3796-3796 Display artifact is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28286-28286 Document is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Cars.kif 307-307 Engine cylinder is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 16029-16029 Fabric is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1457-1457 Fore stock is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4133-4133 Furniture is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18363-18363 Game artifact is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28376-28376 Grab bar is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1315-1315 Gun chamber is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2074-2074 Gun cylinder is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1354-1354 Gun muzzle 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 1518-1518 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 25986-25986 The number 1 argument of equipment type is an instance of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2198-2198 The number 2 argument of power component is an instance of artifact
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3920-3920 The number 1 argument of third party product is an instance of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15855-15855 The number 1 argument of version is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15856-15856 The number 2 argument of version is a subclass of artifact

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7914-7922
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7901-7908
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 537-563
No TPTP formula. May not be expressible in strict first order. Merge.kif 15835-15840

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6116-6130
No TPTP formula. May not be expressible in strict first order. Economy.kif 2090-2100
No TPTP formula. May not be expressible in strict first order. Economy.kif 2059-2070
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32954-32959
No TPTP formula. May not be expressible in strict first order. Economy.kif 6089-6109
No TPTP formula. May not be expressible in strict first order. Merge.kif 12971-12976
No TPTP formula. May not be expressible in strict first order. Economy.kif 2149-2162
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 505-512
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14572-14578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8019-8026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5052-5065
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5071-5085
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28914-28919
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28638-28647
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28128-28142
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28618-28631


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