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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Furniture
Furniture(furniture)
article_of_furniture, bedroom_furniture, bookcase, dining-room_furniture, furniture, lawn_furniture, piece_of_furniture, sectional, sleeper

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3666-3666 Furniture is disjoint from agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3662-3662 Furniture is disjoint from engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3663-3663 Furniture is disjoint from machine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3664-3664 Furniture is disjoint from transportation device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3665-3665 Furniture is disjoint from weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3644-3648
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 429-429
No TPTP formula. May not be expressible in strict first order. pictureList.kif 450-450
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3642-3642 Furniture is a subclass of artifact

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1767-1767 Furniture is an industry product type of furniture manufacturing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3716-3716 Bed is a subclass of furniture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4040-4040 Chest or cabinet is a subclass of furniture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3668-3668 Seat is a subclass of furniture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4032-4032 Table is a subclass of furniture
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25245-25245
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25244-25244
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25243-25243

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3658-3660
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3650-3656

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7125-7137
No TPTP formula. May not be expressible in strict first order. naics.kif 5994-6010
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1514-1519


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