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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganicObject
OrganicObject(organic object)
acicula, adenoid, adrenal, analogous, areolar, areolate, assurgent, autologous, bicapsular, bilocular, biloculate, bodily, cancellate, cancellated, cancellous, clathrate, corporal, corporeal, dedifferentiated, differentiated, generalised, generalized, heterologic, heterological, heterologous, homologic, homological, homologous, inorganic, man-made, monovalent, nonsynthetic, organic, pedunculate, physical, polyvalent, pruning, seasoned, semisynthetic, somatic, stalked, synthetic, uncured, unicellular, unseasoned, versatile

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3369-3371
No TPTP formula. May not be expressible in strict first order. Merge.kif 13349-13352
No TPTP formula. May not be expressible in strict first order. pictureList.kif 908-908
No TPTP formula. May not be expressible in strict first order. Merge.kif 13348-13348 Organic object is exhaustively partitioned into organism and anatomical structure
No TPTP formula. May not be expressible in strict first order. Merge.kif 13346-13346 Organic object is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. Merge.kif 13347-13347 Organic object is a subclass of OrganicThing

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 442-442 Chemical agent is disjoint from organic object
No TPTP formula. May not be expressible in strict first order. Economy.kif 4503-4503 Timber is internally related to organic object
No TPTP formula. May not be expressible in strict first order. Merge.kif 13901-13901 Anatomical structure is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16543-16543 Fodder is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 340-340 Miswak is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. Merge.kif 13354-13354 Organism is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26-26 OrganismRemains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 963-963
No TPTP formula. May not be expressible in strict first order. english_format.kif 1138-1138

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13322-13322 The number 1 argument of developmental form is an instance of organic object
No TPTP formula. May not be expressible in strict first order. Geography.kif 2574-2574 The number 2 argument of bioindicator for habitat is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16847-16847 The number 1 argument of productOfAnimal is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9281-9281 The number 1 argument of secretes substance is a subclass of organic object

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 230-235
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 122-130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 56-63

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16773-16777
No TPTP formula. May not be expressible in strict first order. Merge.kif 9670-9685