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 14419-14422
No TPTP formula. May not be expressible in strict first order. pictureList.kif 907-907
No TPTP formula. May not be expressible in strict first order. Merge.kif 14418-14418 Organic object is exhaustively partitioned into organism and anatomical structure
No TPTP formula. May not be expressible in strict first order. Merge.kif 14416-14416 Organic object is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14417-14417 Organic object is a subclass of organic thing

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 447-447 Chemical agent is disjoint from organic object
No TPTP formula. May not be expressible in strict first order. Economy.kif 5713-5713 Timber is internally related to organic object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14983-14983 Anatomical structure is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 82-82 Biopolymer is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 640-640 Gene is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 351-351 Miswak is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 50-50 Nucleotide is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14424-14424 Organism is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28-28 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 963-963 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. english_format.kif 1133-1133 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. french_format.kif 640-640 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 171-171 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. terms-it.txt 174-174 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2324-2324 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 592-592 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 208-208 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. terms-de.txt 467-467 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 661-661 Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 175-175 Organism remains is a subclass of organic object

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14392-14392 The number 1 argument of developmental form is an instance of organic object
No TPTP formula. May not be expressible in strict first order. Merge.kif 18575-18575 The number 1 argument of Dead fn is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. Economy.kif 5464-5464 The number 1 argument of organic object fn is a subclass of organic object
No TPTP formula. May not be expressible in strict first order. Geography.kif 2600-2600 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 13032-13032 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 234-239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 58-65
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 122-130

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18136-18140
No TPTP formula. May not be expressible in strict first order. Merge.kif 10283-10298
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19002-19010
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20959-20968