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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Artifact
Artifact(artefact)

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 15704-15705
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 10435-10435
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9891-9891
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10434-10434
No TPTP formula. May not be expressible in strict first order. Merge.kif 15703-15703 Artefact est une sous-classe de objet

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3388-3388 NaturalSatellite est disjoint de artefact
No TPTP formula. May not be expressible in strict first order. Merge.kif 14378-14378 Organisme est disjoint de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6990-6990 AnimalResidence est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1609-1609 Armor est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15861-15861 Objet d'art est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5685-5685 Bandage est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4049-4049 BedFrame est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4122-4122 BedLinen est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4741-4741 BoardOrBlock est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4250-4250 BoatDeck est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Cars.kif 4390-4390 Chain est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Cars.kif 4432-4432 ChainLink est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15961-15961 Appareil est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3353-3353 DisplayArtifact est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26375-26375 Document est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Cars.kif 307-307 EngineCylinder est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15901-15901 Textile est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3690-3690 Furniture est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16975-16975 GameArtifact est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26465-26465 GrabBar est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Cars.kif 4697-4697 InteriorVehicleEquipment est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Geography.kif 5701-5701 IrrigationChannel est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15108-15108 Ladder est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1501-1501 Mast est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4029-4029 Mattress est une sous-classe de artefact

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 1205-1205 Le nombre 2 argument de engineers est une instance de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24323-24323 Le nombre 1 argument de equipmentType est une instance de artefact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1735-1735 Le nombre 2 argument de powerComponent est une instance de artefact
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3925-3925 Le nombre 1 argument de thirdPartyProduct est une instance de artefact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15727-15727 Le nombre 1 argument de version est une sous-classe de artefact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15728-15728 Le nombre 2 argument de version est une sous-classe de artefact

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15707-15712

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31006-31011
No TPTP formula. May not be expressible in strict first order. Economy.kif 5747-5767
No TPTP formula. May not be expressible in strict first order. Merge.kif 12839-12844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13232-13238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6857-6864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4607-4620
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4626-4640
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27003-27008
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26727-26736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26217-26231
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26707-26720


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