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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Artifact

Sigma KEE - Artifact
Artifact(Artefato)

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 15682-15683
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 15681-15681 Artefato e' uma sub-classe de Objeto

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3388-3388 NaturalSatellite e' disjunto de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 14356-14356 Organismo e' disjunto de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6991-6991 AnimalResidence e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1609-1609 Armor e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15839-15839 Objeto de Arte e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5686-5686 Bandage e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4049-4049 BedFrame e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4122-4122 BedLinen e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4741-4741 BoardOrBlock e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4250-4250 BoatDeck e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Cars.kif 4382-4382 Chain e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Cars.kif 4424-4424 ChainLink e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15939-15939 Aparelho e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3353-3353 DisplayArtifact e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26387-26387 Document e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Cars.kif 307-307 EngineCylinder e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15879-15879 Tecido e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3690-3690 Furniture e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16976-16976 GameArtifact e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26477-26477 GrabBar e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Cars.kif 4689-4689 InteriorVehicleEquipment e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Geography.kif 5701-5701 IrrigationChannel e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15109-15109 Ladder e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1501-1501 Mast e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4029-4029 Mattress e' uma sub-classe de Artefato

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 O argumento numero 2 de engineers e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24324-24324 O argumento numero 1 de equipmentType e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1735-1735 O argumento numero 2 de powerComponent e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3925-3925 O argumento numero 1 de thirdPartyProduct e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15705-15705 O argumento numero 1 de version e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15706-15706 O argumento numero 2 de version e' uma sub-classe de Artefato

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15685-15690

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31018-31023
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 12817-12822
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13233-13239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6858-6865
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 27015-27020
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26739-26748
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26229-26243
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26719-26732


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