| appearance as argument number 1 |
|
| (documentation WMDWeaponsProductionFacility EnglishLanguage "Facilities where instances of WeaponOfMassDestruction are built.") | WMD.kif 627-628 | |
| (subclass WMDWeaponsProductionFacility StationaryArtifact) | WMD.kif 626-626 | WMD weapons production facility is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| (subclass NuclearWeaponProductionFacility WMDWeaponsProductionFacility) | WMD.kif 650-650 | Nuclear weapon production facility is a subclass of WMD weapons production facility |
| (termFormat ChineseLanguage WMDWeaponsProductionFacility "大规模杀伤性武器生产设施") | domainEnglishFormat.kif 63314-63314 | Nuclear weapon production facility is a subclass of WMD weapons production facility |
| (termFormat ChineseTraditionalLanguage WMDWeaponsProductionFacility "大規模殺傷性武器生產設施") | domainEnglishFormat.kif 63313-63313 | Nuclear weapon production facility is a subclass of WMD weapons production facility |
| (termFormat EnglishLanguage WMDWeaponsProductionFacility "WMD weapons production facility") | domainEnglishFormat.kif 63312-63312 | Nuclear weapon production facility is a subclass of WMD weapons production facility |
| antecedent |
|
|
| (=> (instance ?FACILITY WMDWeaponsProductionFacility) (exists (?DEVELOP) (and (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (eventLocated ?DEVELOP ?FACILITY)))) |
WMD.kif 630-635 |
|
|
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